@misc{indiciae2abd6b2d0fed,
  title = {SPIRAL: Symbolic LLM Planning via Grounded and Reflective Search},
  author = {Yifan Zhang and Giridhar Ganapavarapu and Srideepika Jayaraman and Bhavna Agrawal and Dhaval Patel and Achille Fokoue},
  year = {2025},
  url = {https://arxiv.org/abs/2512.23167},
  note = {Source identifier: 2512.23167}
}