Beta
Explore
Marketplace
Neural Labs
Chat
Wallet
Docs
Lean_prover_v1 – AI Model by Slim205 | AlphaNeural AI
You can deploy this model and start earning money today!
Slim205
/
Lean_prover_v1
like
0
safetensors
llama
en
deepseek-ai/DeepSeek-Prover-V1.5-SFT
finetune
apache-2.0
us
Views
No views yet
Model card
Files and Versions
Community
API
Deploy
Lean Conjecturer
This model generates Lean 4 proofs from given theorem statements.
Alt text
For more details, please see
https://github.com/Slim205/RL-Lean
