Zhang, Y.; Ganapavarapu, G.; Jayaraman, S.; Agrawal, B.; Patel, D.; Fokoue, A. SPIRAL: Symbolic LLM Planning via Grounded and Reflective Search. AAAI 2026, 40, 36527-36535.