Wei-Ru Liu

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...