LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers.

arXiv: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 rely on outcome-based feedback, leaving the logical validity o