paper-with-me

Papers

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning

2025-10-03 · Yilun Hao, Yongchao Chen, Chuchu Fan, Yang Zhang arxiv

Vision Language Models (VLMs) show strong potential for visual planning but struggle with precise spatial and long-horizon reasoning, while Planning Domain Definition Language (PDDL) planners excel at formal long-horizon planning but cannot interpret visual inputs. Recent works combine these complementary advantages by translating visual problems into PDDL. However, while VLMs can generate PDDL problem files satisfactorily, accurately generating PDDL domain files, which encode planning rules, remains challenging and typically requires human expertise or environment interaction. We propose VLMFP, a Dual-VLM-guided framework that autonomously generates both PDDL problem and domain files for formal visual planning. VLMFP combines a SimVLM that simulates action consequences with a GenVLM that generates and iteratively refines PDDL files by aligning symbolic execution with simulated outcomes, enabling multiple levels of generalization across unseen instances, visual appearances, and game rules. We evaluate VLMFP on 6 grid-world domains and demonstrate its generalization capability. On average, SimVLM achieves 87.3% and 86.0% scenario understanding and action simulation for seen and unseen appearances, respectively. With the guidance of SimVLM, VLMFP attains 70.0%, 54.1% planning success on unseen instances in seen and unseen appearances, respectively. We further demonstrate that VLMFP scales to complex long-horizon 3D planning tasks, including multi-robot collaboration and assembly scenarios with partial observability and diverse visual variations. Project page: https://sites.google.com/view/vlmfp.

📄 PDF Abstract BibTeX arXiv:2510.03182

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Autoformalizing and Simulating Game-Theoretic Scenarios using LLM-augmented Agents

2024-12-11 · Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi

Game-theoretic simulations are a versatile tool for exploring interactions of both natural and artificial agents. However, modelling real-world scenarios and developing simulations often require substantial human experti…

Using RuleBuilder to graphically define and visualize BioNetGen-language patterns and reaction rules

2018-03-13

RuleBuilder is a tool for drawing graphs that can be represented by the BioNetGen language (BNGL), which is used to formulate mathematical, rule-based models of biochemical systems. BNGL provides an intuitive plain-text,…

Collection of prokaryotic genome contents expectation rules from scientific literature

2023-06-14 · Serena Lam, Giorgio Gonnella

Shaped by natural selection and other evolutionary forces, an organism's evolutionary history is reflected through its genome sequence, content of functional elements and organization. Consequently, organisms connected t…

Mathematical Definition and Systematization of Puzzle Rules

2024-12-18 · Itsuki Maeda, Yasuhiro Inoue

While logic puzzles have engaged individuals through problem-solving and critical thinking, the creation of new puzzle rules has largely relied on ad-hoc processes. Pencil puzzles, such as Slitherlink and Sudoku, represe…

Game DesignSpatial Reasoning

Online Selective Conformal Prediction with Asymmetric Rules: A Permutation Test Approach

2026-02-10 · Mingyi Zheng, Ying Jin arxiv

Selective conformal prediction aims to construct prediction sets with valid coverage for a test unit conditional on it being selected by a data-driven mechanism. While existing methods in the offline setting handle any s…

Drug Discovery