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.
Hard constraints meet soft generation: Guaranteed feasibility for llm-based combinatorial optimization,
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.