OR-Clarify Benchmark for LLM Optimization Problem Formulation

The OR-Clarify benchmark evaluates an LLM's ability to identify missing objectives and constraints in natural-language optimization requests. It introduces the InterOPT framework to measure agent performance in slot recovery and interaction cost when dealing with incomplete mathematical programming specifications.