LLMs verstehen CP-Modelle nur bei exakten Formulierungen
In der Optimierung und im Constraint Programming besteht seit langem der Wunsch, ein Problem in natürlicher Sprache zu beschreiben und automatisch ein effizientes, ausführbares Modell zu erzeugen. Große Sprachmodelle (LLMs) nähern dieses Ziel mit beeindruckenden Ergebnissen an, indem sie Modelle für klassische Benchmarks generieren.
