Entdeckung verborgener Richtigkeit in LLM‑Kausaler Analyse durch symbolische Verifikation
Moderne Sprachmodelle werden zunehmend für Aufgaben des kausalen Denkens eingesetzt, doch die üblichen Testverfahren prüfen meist nur oberflächliche Übereinstimmungen. Dadurch bleiben echte Fehler oder korrekte, aber an…