TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling

TriVAL es un novedoso marco de tri-validación diseñado para mejorar la precisión del modelado de optimización automática, abordando la falta de validación explícita en los métodos actuales. Implementa un bucle de construir-validar-revisar en las etapas de especificación semántica, formulación matemática y generación de código para mitigar errores y mejorar la fidelidad general del modelado.