---
license: apache-2.0
language:
- en
base_model:
- deepseek-ai/DeepSeek-Prover-V1.5-SFT
---
# Lean Conjecturer

This model generates Lean 4 proofs from given theorem statements.
![Alt text](photo.png)
For more details, please see https://github.com/Slim205/RL-Lean