ResearchBenchmarksProof optimization (Length) on CompfilesProof optimization (Length) on CompfilesFollow18.86ImprovementImProver2.10566.455310.80515.1547Oct 7, 2024Evaluation resultsMethodMethodLinksImprovementNonempty ImprovementAccuracyImproved AccuracyImProver2024.1018.8654.4810034.62GPT-4o2024.102.7530.711.545.13