Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Proof Optimization (Length) on MIL aggregated (test)
Loading...
20.96
Improvement
ImProver
3.0096
7.6698
12.33
16.9902
Oct 7, 2024
Improvement
Nonempty Improvement
Accuracy
Improved Accuracy
Updated 2mo ago
Evaluation Results
Method
Method
Links
Improvement
Nonempty Improvement
Accuracy
Improved Accuracy
ImProver
2024.10
20.96
55.29
100
35.44
ImProver
Model=ImProver
2024.10
20.96
55.29
100
35.44
GPT-4o
2024.10
3.7
15.15
26.36
8.31
GPT-4o
Model=GPT-4o
2024.10
3.7
15.15
26.36
8.31
Feedback
Search any
task
Search any
task
