Zhang, Y. (2026) “SPIRAL: Symbolic LLM Planning via Grounded and Reflective Search”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(43), pp. 36527–36535. doi: 10.1609/aaai.v40i43.40975.