Verifikation kann Lernen bremsen: Asymmetrische Effekte im Logik-Tutor
Große Sprachmodelle (LLMs) werden zunehmend als automatisierte Tutoren eingesetzt, doch ihre Zuverlässigkeit in streng symbolischen Bereichen bleibt unklar. In einer neuen Studie wird die Schritt-für-Schritt‑Feedback‑Qu…