When Do Symbolic Solvers Enhance Reasoning in Large Language Models?

Zhiyuan He, Dingmin Wang

Large Reasoning Models (LRMs) achieve strong performance on complex reasoning tasks by generating long Chains of Thought (CoTs). However, this paradigm might incur substantial toke…