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

TriVAL est un nouveau cadre de tri-validation conçu pour améliorer la précision de la modélisation d'optimisation automatique en comblant le manque de validation explicite dans les méthodes actuelles. Il met en œuvre une boucle de construction-validation-révision à travers les étapes de spécification sémantique, de formulation mathématique et de génération de code pour atténuer les erreurs et améliorer la fidélité globale de la modélisation.