Forschung
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 Bereich…
arXiv – cs.AI