ORSMT Semantic Verification for LLM Optimization Modeling

ORSMT introduces a typed semantic interface to verify consistency between natural language optimization problems and the resulting solver code. Using Satisfiability Modulo Theories (SMT), the framework improves model-code match rates by proving feasible region and objective relations across 3,034 benchmark problems.