Towards Reliable Code-as-Policies: A Neuro-Symbolic Framework for Embodied Task Planning - Ahn, Sanghyun; Choi, Wonje; Lee, Junyong; Park, Jinwoo; Woo, Honguk (Advances in Neural Information Processing Systems, 2025)