@misc{indiciae5949be303eec,
  title = {Vision Language Models Cannot Plan, but Can They Formalize?},
  author = {Muyu He and Yuxi Zheng and Yuchen Liu and Zijian An and Bill Cai and Jiani Huang and Lifeng Zhou and Feng Liu and Ziyang Li and Li Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2509.21576},
  note = {Source identifier: 2509.21576}
}