Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hao, Yilun, Chen, Yongchao, Fan, Chuchu, Zhang, Yang
Format:	Preprint
Published:	2025
Subjects:	Robotics Artificial Intelligence Computation and Language Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
by: Chen, Yongchao, et al.
Published: (2025)

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
by: Chen, Yongchao, et al.
Published: (2025)

Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation
by: Chen, Yongchao, et al.
Published: (2025)

Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
by: Hao, Yilun, et al.
Published: (2024)

From Understanding the World to Intervening in It: A Unified Multi-Scale Framework for Embodied Cognition
by: Wang, Maijunxian
Published: (2025)

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
by: Bui, Tuan, et al.
Published: (2025)

Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming
by: Hao, Yilun, et al.
Published: (2024)

PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Heuristic-based Sampling
by: Chen, Yongchao, et al.
Published: (2024)

Scene-Driven Multimodal Knowledge Graph Construction for Embodied AI
by: Yaoxian, Song, et al.
Published: (2023)

CASPER: Cognitive Architecture for Social Perception and Engagement in Robots
by: Vinanzi, Samuele, et al.
Published: (2022)

DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
by: Zhang, Meiru, et al.
Published: (2025)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
by: Yu, Xuanqing, et al.
Published: (2024)

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
by: Sinha, Sania, et al.
Published: (2025)

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent
by: Buali, Mahdi, et al.
Published: (2024)

AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking
by: Gao, Silin, et al.
Published: (2025)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
by: Aswal, Darpan, et al.
Published: (2025)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
by: Garrido-Merchán, Eduardo C., et al.
Published: (2025)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
by: Shalyt, Michael, et al.
Published: (2025)

Large Language Models as Mirrors of Societal Moral Standards
by: Papadopoulou, Evi, et al.
Published: (2024)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
by: Wang, Yao, et al.
Published: (2026)

LLMs as mirrors of societal moral standards: reflection of cultural divergence and agreement across ethical topics
by: Meijer, Mijntje, et al.
Published: (2024)

Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making
by: Wu, Siyu, et al.
Published: (2024)

Formal Verification of Neural Certificates Done Dynamically
by: Henzinger, Thomas A., et al.
Published: (2025)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
by: Chen, Michael K.
Published: (2025)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
by: Mishra, Suyash
Published: (2026)

A Probabilistic Framework for Hierarchical Goal Recognition
by: Zhang, Chenyuan, et al.
Published: (2026)

Two Constraint Compilation Methods for Lifted Planning
by: Mantenoglou, Periklis, et al.
Published: (2025)

Jet Expansions of Residual Computation
by: Chen, Yihong, et al.
Published: (2024)

Simulating Petri nets with Boolean Matrix Logic Programming
by: Ai, Lun, et al.
Published: (2024)

NePTune: A Neuro-Pythonic Framework for Tunable Compositional Reasoning on Vision-Language
by: Kamali, Danial, et al.
Published: (2025)

NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
by: Deng, Zihao, et al.
Published: (2025)

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
by: Curaba, Cristian, et al.
Published: (2024)

Study of Emotion Concept Formation by Integrating Vision, Physiology, and Word Information using Multilayered Multimodal Latent Dirichlet Allocation
by: Tsurumaki, Kazuki, et al.
Published: (2024)

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
by: Leang, Joshua Ong Jun, et al.
Published: (2024)

Cognitive Architectures for Language Agents
by: Sumers, Theodore R., et al.
Published: (2023)

Beyond Accuracy: Introducing a Symbolic-Mechanistic Approach to Interpretable Evaluation
by: Habibi, Reza, et al.
Published: (2026)

Reasoning Abilities of Large Language Models: In-Depth Analysis on the Abstraction and Reasoning Corpus
by: Lee, Seungpil, et al.
Published: (2024)

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic
by: Zhao, Xufeng, et al.
Published: (2023)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
by: Ludäscher, Bertram, et al.
Published: (2025)

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
by: Candussio, Sara, et al.
Published: (2026)