LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback
LAD-VF:LLM自动微分实现基于形式化方法反馈的无微调机器人规划
机构 * The University of Texas at Austin(德克萨斯大学奥斯汀分校) ; University of São Paulo(圣保罗大学) ; Texas A&M University(德克萨斯A&M大学) ; SylphAI
专题命中 机器人操作 :robotics(abstract);manipulation(abstract);navigation(abstract);分类 cs.RO
AI总结 提出LAD-VF框架,利用形式化验证反馈和LLM自动微分自动优化提示词,无需微调即可提升机器人规划任务中规范符合率,成功率从60%提升至90%以上。
Comments Presented at ICRA 2026