Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal proof size measurement on Ascoli general
Loading...
372
Direct
sorry-first methodology
353.4
362.7
372
381.3
Apr 8, 2026
Direct
Section
Helpers
Megal.
M–P
Updated 9d ago
Evaluation Results
Method
Method
Links
Direct
Section
Helpers
Megal.
M–P
sorry-first methodology
2026.04
372
1,912
29
-
-
Feedback
Search any
task
Search any
task