Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Automated Theorem Proving on LeanCAT
Loading...
59
Pass Rate
AxProverBase
12.2
24.35
36.5
48.65
Feb 27, 2026
Pass Rate
Updated 1mo ago
Evaluation Results
Method
Method
Links
Pass Rate
AxProverBase
underlying LLM=Opus 4....
2026.02
59
Gemini 3 Pro
2026.02
14
Feedback
Search any
task
Search any
task
