Symbolische Solver verbessern große Sprachmodelle bei begrenztem Denken
Große Sprachmodelle (Large Reasoning Models, LRMs) erzielen beeindruckende Ergebnisse bei komplexen Logikaufgaben, indem sie lange „Chains of Thought“ (CoTs) generieren. Dieses Vorgehen kann jedoch zu einem hohen Tokena…