2 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…