VeriSimpl: Robuste Optimierungsmodellierung aus natürlicher Sprache mit vereinfachungsbasierter Verifizierung

arXiv:2607.20474v1 Ankündigungstyp: neu Abstract: Natürlichsprachige Schnittstellen können die Zugänglichkeit und Benutzerfreundlichkeit der Optimierungsmodellierung stark verbessern, und aktuelle Fortschritte in Large Language Models (LLMs) zeigen Potential bei der automatischen Übersetzung von textlichen Problembeschreibungen in ausführbare Solver