Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Proof Optimization (Declarativity) on Mathlib
Loading...
4.63
Improvement
ImProver
-0.1852
1.0649
2.315
3.5651
Oct 7, 2024
Improvement
Nonempty Improvement
Accuracy
Improved Accuracy
Updated 12d ago
Evaluation Results
Method
Method
Links
Improvement
Nonempty Improvement
Accuracy
Improved Accuracy
ImProver
Model=ImProver
2024.10
4.63
33.19
100
11.63
GPT-4o
Model=GPT-4o
2024.10
0
0
4.65
0
Feedback
Search any
task
Search any
task
