Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Open paper
Benchmark
Model
Rank
Results
automated-theorem-proving-on-minif2f-test
Kimina-Prover-Preview
#1
cumulative: 80.74
Pass@1: 52.94
Pass@32: 68.85
ITP: Lean
…
Rank counts only results with a code link.