Liang, Feng, Weixin Zeng, Runhao Zhao, and Xiang Zhao. 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-15. https://doi.org/10.1609/aaai.v40i38.40460.