4 papers
Unifying Deep Predicate Invention with Pre-trained Foundation Models
Qianwei Wang, Bowen Li, Zhanpeng Luo +6
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…
MapEx: Indoor Structure Exploration with Probabilistic Information Gain from Global Map Predictions
Cherie Ho, Seungchan Kim, Brady Moon +6
Exploration is a critical challenge in robotics, centered on understanding unknown environments. In this work, we focus on robots exploring structured indoor environments which are…
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation
Bowen Li, Zhaoyu Li, Qiwei Du +10
Recent years have witnessed the rapid development of Neuro-Symbolic (NeSy) AI systems, which integrate symbolic reasoning into deep neural networks. However, most of the existing b…
Aug3D: Augmenting large scale outdoor datasets for Generalizable Novel View Synthesis
Aditya Rauniyar, Omar Alama, Silong Yong +2
Recent photorealistic Novel View Synthesis (NVS) advances have increasingly gained attention. However, these approaches remain constrained to small indoor scenes. While optimizatio…