Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Proof Node Pruning on PrimeNumberTheoremAnd
Loading...
315
Review Cone
Lean Compass
208.92
236.46
264
291.54
Mar 16, 2026
Review Cone
Compass Count
Reduction
Updated 1mo ago
Evaluation Results
Method
Method
Links
Review Cone
Compass Count
Reduction
Lean Compass
Main Theorem=Erdos392....
2026.03
315
1
99.7
Lean Compass
Main Theorem=MediumPNT
2026.03
309
1
99.7
Lean Compass
Main Theorem=prime_bet...
2026.03
245
1
99.6
Lean Compass
Main Theorem=WeakPNT_AP
2026.03
239
2
99.2
Lean Compass
Main Theorem=pi_alt’
2026.03
237
1
99.6
Lean Compass
Main Theorem=lambda_pnt
2026.03
233
1
99.6
Lean Compass
Main Theorem=mu_pnt
2026.03
231
1
99.6
Lean Compass
Main Theorem=WeakPNT
2026.03
213
2
99.1
Feedback
Search any
task
Search any
task