3 papers
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
AnyNav: Visual Neuro-Symbolic Friction Learning for Off-road Navigation
Taimeng Fu, Zitong Zhan, Zhipeng Zhao +7
Off-road navigation is critical for a wide range of field robotics applications from planetary exploration to disaster response. However, it remains a longstanding challenge due to…