TY  - RPRT
TI  - Fast Task Planning with Neuro-Symbolic Relaxation
AU  - Qiwei Du
AU  - Bowen Li
AU  - Yi Du
AU  - Shaoshu Su
AU  - Taimeng Fu
AU  - Zitong Zhan
AU  - Zhipeng Zhao
AU  - Chen Wang
PY  - 2026
DO  - 10.1109/lra.2026.3662556
UR  - https://arxiv.org/abs/2507.15975
ID  - 2507.15975
ER  -