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

Citations 5
arXiv HTML
reasoningopen-weight

Related