AD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback. - Yunhao Yang; Junyuan Hong; Gabriel Jacob Perin; Zhiwen Fan; Li Yin; Zhangyang Wang; Ufuk Topcu (CoRR, 2025)