arXiv · AI· Chengxuan Pei, Ziyao Wang, Teng Mei, Zhe Li·· 5 小时前AI 评分33
Learning to Formalize: 构建候选项生成器，弥合开放任务与快速决策模型间的差距
Learning to Formalize: Bridging Open-Ended Workloads and Fast Decision Models
AI 导读
研究提出小型候选形式化器，通过离线教师生成列表构建显式验证候选项，冻结决策模型据此选择。 在CALVIN-D测试中，DeepSeek V4 Flash pose候选项成功率达46.5%，对比通用动作的11%；本地部署模型在1,011个验证标注中，使用微调形式化器成功率52.6%，无则为11.8%，端到端延迟2.09秒。
来源：arXiv · AI · arxiv.org