ResearchBenchmarksProof Optimization (Declarativity) on MIL aggregated (test)Proof Optimization (Declarativity) on MIL aggregated (test)Follow9.34ImprovementImProver1.92483.84995.7757.7001Oct 7, 2024Evaluation resultsMethodMethodLinksImprovementNonempty ImprovementAccuracyImproved AccuracyImProver2024.109.3430.5310024.56ImProverModel=ImProverModel=ImProver2024.109.3430.5310024.56GPT-4o2024.102.218.0218.756.13GPT-4oModel=GPT-4oModel=GPT-4o2024.102.218.0218.756.13