Cover Image

VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liang, Yichao, Kumar, Nishanth, Tang, Hao, Weller, Adrian, Tenenbaum, Joshua B., Silver, Tom, Henriques, João F., Ellis, Kevin
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Computer Vision and Pattern Recognition Machine Learning Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ExoPredicator: Learning Abstract Models of Dynamic Worlds for Robot Planning
by: Liang, Yichao, et al.
Published: (2025)

Predicate Invention for Bilevel Planning
by: Silver, Tom, et al.
Published: (2022)

From Pixels to Predicates: Learning Symbolic World Models via Pretrained Vision-Language Models
by: Athalye, Ashay, et al.
Published: (2024)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
by: Hinnerichs, Tilman, et al.
Published: (2024)

Rapid Motor Adaptation for Robotic Manipulator Arms
by: Liang, Yichao, et al.
Published: (2023)

Symbolic Manipulation Planning with Discovered Object and Relational Predicates
by: Ahmetoglu, Alper, et al.
Published: (2024)

ViPlan: A Benchmark for Visual Planning with Symbolic Predicates and Vision-Language Models
by: Merler, Matteo, et al.
Published: (2025)

PoE-World: Compositional World Modeling with Products of Programmatic Experts
by: Piriyakulkij, Wasu Top, et al.
Published: (2025)

Neuro-Symbolic Concepts
by: Mao, Jiayuan, et al.
Published: (2025)

On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity
by: Contente, Michele, et al.
Published: (2024)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
by: Xiao, Yuan-An, et al.
Published: (2025)

Optimal Predicate Pushdown Synthesis
by: Zhang, Robert, et al.
Published: (2026)

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
by: Mostowski, Wojciech, et al.
Published: (2020)

Unifying Deep Predicate Invention with Pre-trained Foundation Models
by: Wang, Qianwei, et al.
Published: (2025)

Classification of Non-redundancy of Boolean Predicates of Arity 4
by: Brakensiek, Joshua, et al.
Published: (2026)

AI-Drive Predicative Analysis for Datacentre Capacity Planning
by: Suraj, Patel
Published: (2023)

Predicated Diffusion: Predicate Logic-Based Attention Guidance for Text-to-Image Diffusion Models
by: Sueyoshi, Kota, et al.
Published: (2023)

Formal Perspectives on Secondary Predication
Published: (2024)

Predicate Subtypes in VerCors
by: Dubbeling, Tycho, et al.
Published: (2026)

Numeric Truncation Security Predicate
by: Mezhuev, Timofey, et al.
Published: (2023)

Conjoined Predication and Scalar Implicature
by: Kandala, Ratna
Published: (2025)

Unicity: Predicates and Atomic Swaps
by: Buldas, Ahto, et al.
Published: (2026)

Punctuation and Predicates in Language Models
by: Chauhan, Sonakshi, et al.
Published: (2025)

SkillWrapper: Generative Predicate Invention for Task-level Planning
by: Yang, Ziyi, et al.
Published: (2025)

Generalisation Through Negation and Predicate Invention
by: Cerna, David M., et al.
Published: (2023)

On the Decidability of Monadic Theories of Arithmetic Predicates
by: Berthé, Valérie, et al.
Published: (2024)

Chapter A: Non-Predicative Adjectives
by: Chu-Ren, Huang, et al.
Published: (2021)

Axiomatizations of Presburger Arithmetic With Predicates For Powers
by: Hieronymi, Philipp, et al.
Published: (2026)

Self-Verifying Predicates in Büchi Arithmetic
by: Khodier, Mazen, et al.
Published: (2025)

Inference of Abstraction for Grounded Predicate Logic
by: Kido, Hiroyuki
Published: (2025)

Predication analysis of English possessive sentences
by: Viatcheslav Yatsko
Published: (2014)

Locus: Agentic Predicate Synthesis for Directed Fuzzing
by: Zhu, Jie, et al.
Published: (2025)

SR4 as a Gödelian Truth Predicate
by: Kamarei, Arzhang
Published: (2025)

Relation Extraction with Instance-Adapted Predicate Descriptions
by: Jiang, Yuhang, et al.
Published: (2025)

EXPIL: Explanatory Predicate Invention for Learning in Games
by: Sha, Jingyuan, et al.
Published: (2024)

Constructive and Predicative Locale Theory in Univalent Foundations
by: Tosun, Ayberk
Published: (2026)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

Predicates and terms from non-standard sequences
by: Zhuravlov, V. M.
Published: (2023)

Predicate Renaming via Large Language Models
by: Gentili, Elisabetta, et al.
Published: (2025)

Spanish Verbalisations and the Internal Structure of Lexical Predicates
by: Fábregas, Antonio
Published: (2025)