5 papers · 1 filter
Neuro-Symbolic Predicate Learning for Semantic Safe Robot Control
Zihan Ye, Jiayi Liu, Puze Liu +4
As robots are increasingly deployed in everyday environments, ensuring their safety has become a central challenge. Existing methods often encode safety requirements as opaque math…
ALDER: Discovering the Laws of a World by Acting in It
Teng Cao, Yu Deng, Quentin Delfosse +1
Reliable world models should not only predict future states but express how actions change the world in an explicit, transparent and testable form, such as equations. Yet methods t…
Learning Explicit Behavioral Models with Adaptive Questions and World-Model Probes
Hikaru Shindo, Yu Deng, Teng Cao +5
Interactive agents trained only against task return can achieve high scores while failing to represent the mechanisms that make their actions succeed. This makes brittle behavior d…
Kintsugi: Learning Policies by Repairing Executable Knowledge Bases
Teng Cao, Yu Deng, Hikaru Shindo +6
Modern embodied agents achieve impressive performance, but their task knowledge is often stored in neural weights, latent state, or prompt-bound memory, making individual policy kn…
Boosting deep Reinforcement Learning using pretraining with Logical Options
Zihan Ye, Phil Chau, Raban Emunds +5
Deep reinforcement learning agents are often misaligned, as they over-exploit early reward signals. Recently, several symbolic approaches have addressed these challenges by encodin…