TY  - RPRT
TI  - Neuro-Symbolic Learning for Long-Horizon Task Planning Under Complex Logical Constraints
AU  - Qiwei Du
AU  - Zitong Zhan
AU  - Shaoshu Su
AU  - Bowen Li
AU  - Yi Du
AU  - Zhipeng Zhao
AU  - Taimeng Fu
AU  - Sebastian Scherer
AU  - Jiaoyang Li
AU  - Chen Wang
PY  - 2026
UR  - https://arxiv.org/abs/2606.06877
ID  - 2606.06877
ER  -