##article.return## Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning Download Download PDF