@misc{indiciae58b1fd00bb14,
  title = {Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming},
  author = {Yilun Hao and Yang Zhang and Chuchu Fan},
  year = {2025},
  url = {https://arxiv.org/abs/2410.12112},
  note = {Source identifier: 2410.12112}
}