ResearchBenchmarksProof Optimization (Length) on MathlibFollow6.19ImprovementImProver-0.24761.42373.0954.7663Oct 7, 2024Evaluation ResultsMethodMethodLinksImprovementNonempty ImprovementAccuracyImproved AccuracyImProverModel=ImProverModel=ImProver2024.106.1953.6510011.54ImProverModel=ImProverModel=ImProver2024.104.167.451009.3GPT-4oModel=GPT-4oModel=GPT-4o2024.102.9230.149.34.65GPT-4oModel=GPT-4oModel=GPT-4o2024.100016.670