paper-with-me

Papers

Unifying Deep Predicate Invention with Pre-trained Foundation Models

2025-12-19 · Qianwei Wang, Bowen Li, Zhanpeng Luo, Yifan Xu, Alexander Gray, Tom Silver, Sebastian Scherer, Katia Sycara, Yaqi Xie arxiv

Long-horizon robotic tasks are hard due to continuous state-action spaces and sparse feedback. Symbolic world models help by decomposing tasks into discrete predicates that capture object properties and relations. Existing methods learn predicates either top-down, by prompting foundation models without data grounding, or bottom-up, from demonstrations without high-level priors. We introduce UniPred, a bilevel learning framework that unifies both. UniPred uses large language models (LLMs) to propose predicate effect distributions that supervise neural predicate learning from low-level data, while learned feedback iteratively refines the LLM hypotheses. Leveraging strong visual foundation model features, UniPred learns robust predicate classifiers in cluttered scenes. We further propose a predicate evaluation method that supports symbolic models beyond STRIPS assumptions. Across five simulated and one real-robot domains, UniPred achieves 2-4 times higher success rates than top-down methods and 3-4 times faster learning than bottom-up approaches, advancing scalable and flexible symbolic world modeling for robotics.

📄 PDF Abstract BibTeX arXiv:2512.17992

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Theory reconstruction: a representation learning view on predicate invention

2016-06-28 · Sebastijan Dumancic, Wannes Meert, Hendrik Blockeel

With this positional paper we present a representation learning view on predicate invention. The intention of this proposal is to bridge the relational and deep learning communities on the problem of predicate invention.…

Representation Learning

SkillWrapper: Generative Predicate Invention for Task-level Robot Planning

2025-11-22 · Ziyi Yang, Benned Hedegaard, Ahmed Jaafar, Yichen Wei 외 arxiv

Generalizing from individual skill executions to long-horizon tasks is a core challenge in building autonomous robots. A promising direction is learning high-level, symbolic representations of low-level robot skills, ena…

Representation Learning

Generalisation Through Negation and Predicate Invention

2023-01-18 · David M. Cerna, Andrew Cropper

The ability to generalise from a small number of examples is a fundamental challenge in machine learning. To tackle this challenge, we introduce an inductive logic programming (ILP) approach that combines negation and pr…

Inductive logic programmingNegation

EXPIL: Explanatory Predicate Invention for Learning in Games

2024-06-10 · Jingyuan Sha, Hikaru Shindo, Quentin Delfosse, Kristian Kersting 외

Reinforcement learning (RL) has proven to be a powerful tool for training agents that excel in various games. However, the black-box nature of neural network models often hinders our ability to understand the reasoning b…

Reinforcement Learning (RL)

ADVENT: LLM-Driven Automatic Predicate Invention for ILP

2026-07-02 · Tingting Yu, Pei-Cing Huang, Chan Hsu, Chan-Tung Ku 외 arxiv

Predicate invention (PI), the creation of new predicates to extend the hypothesis space, remains a critical bottleneck in Inductive Logic Programming (ILP). Existing methods rely on domain expertise and produce semantica…

Inductive logic programming