Y. Zhang, G. Ganapavarapu, S. Jayaraman, B. Agrawal, D. Patel, and A. Fokoue, “SPIRAL: Symbolic LLM Planning via Grounded and Reflective Search”, AAAI, vol. 40, no. 43, pp. 36527–36535, Mar. 2026.