TY  - RPRT
TI  - LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers
AU  - Jingyu Hu
AU  - Shu Yang
AU  - Weiru Liu
AU  - Di Wang
PY  - 2026
UR  - https://arxiv.org/abs/2609.21492
ID  - 2609.21492
ER  -