TY  - RPRT
TI  - LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback
AU  - Yunhao Yang
AU  - Junyuan Hong
AU  - Gabriel Jacob Perin
AU  - Zhiwen Fan
AU  - Li Yin
AU  - Zhangyang Wang
AU  - Ufuk Topcu
PY  - 2026
UR  - https://arxiv.org/abs/2509.18384
ID  - 2509.18384
ER  -