Liang, F.; Zeng, W.; Zhao, R.; Zhao, X. NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models. AAAI 2026, 40, 31907-31915.