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

TriVAL ist ein neuartiger Dreifach-Validierungsrahmen, der entwickelt wurde, um die Genauigkeit der automatischen Optimierungsmodellierung zu verbessern, indem er den Mangel an expliziter Validierung in bestehenden Methoden behebt. Er implementiert einen Konstruieren-Validieren-Revidieren-Zyklus über die Phasen der semantischen Spezifikation, mathematischen Formulierung und Codegenerierung, um Fehler zu mindern und die Gesamtgenauigkeit der Modellierung zu erhöhen.