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.
CRITIC: Large language models can self-correct with tool-interactive critiquing,
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.