@misc{indiciaebe19a2632b13,
  title = {Fast Task Planning with Neuro-Symbolic Relaxation},
  author = {Qiwei Du and Bowen Li and Yi Du and Shaoshu Su and Taimeng Fu and Zitong Zhan and Zhipeng Zhao and Chen Wang},
  year = {2026},
  doi = {10.1109/lra.2026.3662556},
  url = {https://arxiv.org/abs/2507.15975},
  note = {Source identifier: 2507.15975}
}