Liang, F. (2026) “NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(38), pp. 31907–31915. doi: 10.1609/aaai.v40i38.40460.