LogicTrack is a neuro-symbolic framework that audits reasoning trajectories of large language models (LLMs) with formal logic solvers. It auto-formalizes each reasoning step into symbolic representations and verifies them with automated theorem provers. This improves the verifiability of reasoning chains and final answer pass rate, enhancing overall CoT quality and trustworthiness in high-stakes domains.