Lean Conjecturer
This model generates Lean 4 proofs from given theorem statements.
For more details, please see https://github.com/Slim205/RL-Lean
- Downloads last month
- 25
Inference Providers
NEW
This model isn't deployed by any Inference Provider.
🙋
Ask for provider support