LogicTrack: auditing LLM reasoning with formal logic solvers
LogicTrack is a neuro-symbolic framework that auto-formalizes each Chain-of-Thought step and verifies them with automated theorem provers, introducing a Solver-Based Backtracking Reward (SBR) to score step-wise logical soundness and guide backtracking tree search at inference time. The authors also use backtracking traces to build supervised fine-tuning data and report improved reasoning-chain verifiability and final-answer pass rates across 8 benchmarks and 7 LLMs (arXiv:2609.21492v1).