DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Open paper
Benchmark
Model
Rank
Results
automated-theorem-proving-on-minif2f-test
DeepSeek-Prover
–
cumulative: 52.0
Pass@1: 30.0
Pass@64: 46.3
ITP: Lean
Rank counts only results with a code link.