Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Proof Node Pruning on Brownian Motion
Loading...
227
Review Cone
Lean Compass
38.76
87.63
136.5
185.37
Mar 16, 2026
Review Cone
After Compass
Reduction
Updated 1mo ago
Evaluation Results
Method
Method
Links
Review Cone
After Compass
Reduction
Lean Compass
Main Theorem=IsBrownia...
2026.03
227
14
93.8
Lean Compass
Main Theorem=IsPreBrow...
2026.03
202
2
99
Lean Compass
Main Theorem=IsPreBrow...
2026.03
56
2
96.4
Lean Compass
Main Theorem=IsPreBrow...
2026.03
48
3
93.8
Lean Compass
Main Theorem=isProject...
2026.03
46
5
89.1
Feedback
Search any
task
Search any
task