TY - RPRT TI - NeSyPr: Neurosymbolic Proceduralization For Efficient Embodied Reasoning AU - Wonje Choi AU - Jooyoung Kim AU - Honguk Woo PY - 2025 UR - https://arxiv.org/abs/2510.19429 ID - 2510.19429 ER -