wird geladen
LogicTrack prüft CoT-Reasoning mit formalen Logik-Solvern auf Schritt-Ebene · Lumeric