wird geladen
SAT-Solving als LLM-Reasoning-Probe: Neue ADR-Metrik entlarvt Heuristiken · Lumeric