ResearchBenchmarksProof Optimization (Declarativity) on MathlibFollow4.63ImprovementImProver-0.18521.06492.3153.5651Oct 7, 2024Evaluation ResultsMethodMethodLinksImprovementNonempty ImprovementAccuracyImproved AccuracyImProverModel=ImProverModel=ImProver2024.104.6333.1910011.63GPT-4oModel=GPT-4oModel=GPT-4o2024.10004.650