When Do Symbolic Solvers Enhance Reasoning in Large Language Models?

Open in new window