Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal Theorem Proving on AbstractAlgebra easy
Loading...
72
Accuracy
Ax-Prover
7.52
24.26
41
57.74
Oct 14, 2025
Accuracy
Updated 9d ago
Evaluation Results
Method
Method
Links
Accuracy
Ax-Prover
2025.10
72
DS-Prover
2025.10
26
Kimina
2025.10
12
Sonnet
2025.10
10
Feedback
Search any
task
Search any
task
