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

Proof optimization (Mixed) on Compfiles

20.6ImprovementImProver

Evaluation Results

Method	Links
ImProver2024.10		20.6	76.53	100	23.07
GPT-4o2024.10		3.96	3.96	26.9	20