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

Proof optimization (Declarativity) on Compfiles

5.74ImprovementImProver

Evaluation Results

Method	Links
ImProver2024.10		5.74	24.89	100	19.23
GPT-4o2024.10		0.39	3.38	14.1	1.28