@misc{indiciae4bb134ae8a2e,
  title = {LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers},
  author = {Jingyu Hu and Shu Yang and Weiru Liu and Di Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2609.21492},
  note = {Source identifier: 2609.21492}
}