Showing cs.ROShow all
3 papers · 1 filter
cs.RO2026
Neuro-Symbolic Learning for Long-Horizon Task Planning Under Complex Logical Constraints
Qiwei Du, Zitong Zhan, Shaoshu Su +7
Task planning often suffers from severe efficiency bottlenecks when robots must reason over long-horizon action sequences under complex logical constraints, including object afford…
cs.RO2025
Fast Task Planning with Neuro-Symbolic Relaxation
Qiwei Du, Bowen Li, Yi Du +5
Real-world task planning requires long-horizon reasoning over large sets of objects with complex relationships and attributes, leading to a combinatorial explosion for classical sy…
cs.RO2025
VL-Nav: Neuro-Symbolic Reasoning-based Vision-Language Navigation
Yi Du, Taimeng Fu, Zhipeng Zhao +6
Navigating unseen, large-scale environments based on complex and abstract human instructions remains a formidable challenge for autonomous mobile robots. Addressing this requires r…