Hasanbeig, Hosein, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, and Daniel Kroening. “Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint)”. Proceedings of the AAAI Conference on Artificial Intelligence 40, no. 47 (March 14, 2026): 39867–39867. Accessed May 24, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/41382.