Forschung
NL2LOGIC: AST-gesteuerte Übersetzung natürlicher Sprache in First-Order-Logik mit LLMs
Automatisiertes Schließen spielt in Bereichen wie Recht und Governance eine entscheidende Rolle, wenn Behauptungen gegen Fakten in Dokument…
arXiv – cs.AI