Neuro-Symbolic Predicate Learning for Semantic Safe Robot Control
This preprint introduces NEUPRO, a neuro-symbolic safety system that learns reusable visual safety predicates from human-written symbolic rules through a differentiable graph reasoner. On the REASON real-robot benchmark it reaches 92% mean safety-classification accuracy across seven tasks versus 55% for Qwen3.5 and 44% for DeepSeek-VL2, and it can explain violations in first-order logic. The result matters because it offers a path to interpretable, transferable safety constraints instead of opaque per-task cost functions.