<h1>Symbolische Distillation verbessert leichte automatische Programmbewertung</h1> <p>In einer neuen Studie wird gezeigt, dass die Integration von symbolischer Räumerung die Klassifizierung von Fehlerbehebungen in kompakteren Programmbewertungsmodellen deutlich steigern kann. Kleine Code‑Modelle sind besonders für ressourcenbeschränkte Umgebungen attraktiv, jedoch liefert ihr üblicherweise nur eine einzige Vorhersage. Dadurch bleibt offen, ob sie wirklich die zugrunde liegende Programmstruktur erkennen ode