TY  - RPRT
TI  - Vision Language Models Cannot Plan, but Can They Formalize?
AU  - Muyu He
AU  - Yuxi Zheng
AU  - Yuchen Liu
AU  - Zijian An
AU  - Bill Cai
AU  - Jiani Huang
AU  - Lifeng Zhou
AU  - Feng Liu
AU  - Ziyang Li
AU  - Li Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2509.21576
ID  - 2509.21576
ER  -