Liang, F., Zeng, W., Zhao, R., & Zhao, X. (2026). NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models. Proceedings of the AAAI Conference on Artificial Intelligence, 40(38), 31907–31915. https://doi.org/10.1609/aaai.v40i38.40460