Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning - Hao, Yilun; Chen, Yongchao; Fan, Chuchu; Zhang, Yang (International Conference on Learning Representations, 2026)