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

TriVAL é uma nova estrutura de tri-validação projetada para aumentar a precisão da modelagem de otimização automática, abordando a falta de validação explícita nos métodos atuais. Ele implementa um ciclo de construir-validar-revisar em etapas de especificação semântica, formulação matemática e geração de código para mitigar erros e melhorar a fidelidade geral da modelagem.