ResearchBenchmarksProof optimization (Declarativity) on CompfilesProof optimization (Declarativity) on CompfilesFollow5.74ImprovementImProver0.1761.62053.0654.5095Oct 7, 2024Evaluation resultsMethodMethodLinksImprovementNonempty ImprovementAccuracyImproved AccuracyImProver2024.105.7424.8910019.23GPT-4o2024.100.393.3814.11.28