Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal Theorem Proving on NuminaMath-LEAN (solved-H)
Loading...
47
Accuracy
Ax-Prover
-1.88
10.81
23.5
36.19
Oct 14, 2025
Accuracy
Updated 9d ago
Evaluation Results
Method
Method
Links
Accuracy
Ax-Prover
2025.10
47
DS-Prover
2025.10
14
Sonnet
2025.10
8
Kimina
evaluation_protocol=pa...
2025.10
0
Feedback
Search any
task
Search any
task
