Forschung
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…
arXiv – cs.AI