LLMs meistern NL-FOL-Übersetzung dank neuer Benchmark-Methode Eine neue Studie aus dem arXiv zeigt, dass große Sprachmodelle (LLMs) bei der Übersetzung von natürlicher Sprache in First‑Order‑Logik (FOL) viel besser abschneiden, als bisher angenommen. arXiv – cs.AI 18.11.2025 05:00
