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. Traditionelle Tests haben die…