ResearchTasksAutoformalization of Mixed-Integer ProgramsAutoformalization of Mixed-Integer ProgramsFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedHard-MIPAutoOR 8B94Accuracy4Apr 21, 2026ComplexORGemini 3 Pro72.22Accuracy (%)4Apr 21, 2026IndustryORGemini 3 Pro76.19Accuracy4Apr 21, 2026