Beta
Explore
Marketplace
Neural Labs
Playground
Wallet
Docs
static-warning-verification – Dataset by formalanon | AlphaNeural AI
You can deploy this model and start earning money today!
formalanon
/
static-warning-verification
like
0
n<1K
json
text
datasets
pandas
polars
mlcroissant
us
Views
No views yet
Model card
Files and Versions
Community
API
Static Warning Verification
55 expert-verified static analysis warnings from ATP Checkers on autoformalized Lean 4 code.
