Proof optimization (Length) on Compfiles benchmark leaderboard · SOTA2 Research

Proof optimization (Length) on Compfiles

18.86ImprovementImProver

Evaluation Results

Method	Links
ImProver2024.10		18.86	54.48	100	34.62
GPT-4o2024.10		2.75	30.7	11.54	5.13