LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers
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 of intermediate reasoning steps largely unverified. To address the gap whereby LLMs arrive at correct final a...
Jing-Yu Hu, Shu Yang, Wei-Ru Liu et al.
· 0 citations