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
- 1
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support