DeepSeek-Prover

model
DeepSeek
Specialized model for formal theorem proving in Lean 4.
Paper V1 (arXiv)Paper V1.5 (arXiv)GitHub (V1.5)HuggingFace

Paper

arXiv: 2408.08152

reasoningopen-weight

Related