Agentenbasiertes Framework zur Validierung mathematischer Optimierungsmodelle
Mit dem Aufkommen von Large Language Models (LLMs) wird es immer populärer, Optimierungsmodelle direkt aus natürlichen Sprachbeschreibungen zu generieren. Doch wie kann man sicherstellen, dass die automatisch erstellten Modelle korrekt sind und die in der Beschreibung festgelegten Anforderungen erfüllen?