TriVAL performs construct-validate-revise validation at semantic specification, mathematical formulation, and code generation stages for automatic optimization modeling and introduces the NL4COP benchmark of 150 instances across 50 problem types.
Optimus: Scalable opti- mization modeling with (mi) lp solvers and large language models,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling
TriVAL performs construct-validate-revise validation at semantic specification, mathematical formulation, and code generation stages for automatic optimization modeling and introduces the NL4COP benchmark of 150 instances across 50 problem types.