LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers
DGX agentarXiv:2609.21492v1 Announce Type: new Abstract: Chain-of-Thought (CoT) reasoning has been shown to improve the performance of large language models (LLMs), yet existing optimization methods largely re