ResearchBenchmarksProof declarativity optimization on MILProof declarativity optimization on MILFollow13.45ImprovementImProver3.80926.31218.81511.3179Oct 7, 2024Evaluation resultsMethodMethodLinksImprovementNonempty ImprovementAccuracyImproved AccuracyImProver2024.1013.4530.9710034.21GPT-4o2024.104.1814.4828.8511.54