Forschung
Neuro-symbolische Verifikation prüft, ob LLMs Befehle korrekt befolgen
Die Nutzung großer Sprachmodelle (LLMs) in kritischen Anwendungen stößt häufig an die Grenze, dass die Modelle nicht immer den vorgegebenen…
arXiv – cs.AI