Jenseits des LLM-Richters: Mechanische Verifikation für Formalisierung
Forscher stellen eine Verifikationsmethode vor, die semantische Überprüfung mit mechanischen Prüfungen kombiniert.
Forscher stellen eine Verifikationsmethode vor, die semantische Überprüfung mit mechanischen Prüfungen kombiniert.