Text2Model und Text2Zinc: KI-Copiloten für automatische Modellgenerierung aus Textbeschreibungen
Forscher stellen Text2Model und Text2Zinc vor - ein System aus KI-Copiloten und ein Cross-Domain-Dataset, die natürlichsprachige Beschreibungen von Optimierungsproblemen automatisch in formale mathematische Modelle übersetzen. Das System nutzt MiniZinc als solver-agnostische Modellierungssprache und vergleicht verschiedene LLM-Strategien von Zero-Shot bis zu agentischen Ansätzen.
Einordnung
Diese Forschung adressiert ein wichtiges Problem im Operations Research und der kombinatorischen Optimierung: die Übersetzung von natürlichsprachigen Problembeschreibungen in formale mathematische Modelle. Der Ansatz ist besonders wertvoll, da er sowohl Satisfaction- als auch Optimierungsprobleme in einer einheitlichen Architektur behandelt und solver-agnostisch arbeitet, was Flexibilität und breite Anwendbarkeit ermöglicht.
Die Entwicklung von Open-Source-Tools wie dem interaktiven Editor und der Leaderboard zeigt das Potenzial für praktische Anwendungen in der Industrie und Forschung. Gleichzeitig macht die ehrliche Einschätzung, dass LLMs noch keine 'Push-Button-Technologie' für kombinatorische Modellierung sind, deutlich, wo die aktuellen Grenzen liegen und wo weitere Forschung nötig ist.