arXiv cs.AI· Chengxuan Pei, Ziyao Wang, Teng Mei, Zhe Li·· 2 小时前AI 评分28
Learning to Formalize：连接开放式工作负载与快速决策模型
Learning to Formalize: Bridging Open-Ended Workloads and Fast Decision Models
AI 导读
研究提出小型候选形式化器，把开放式任务上下文转成显式、经验证的候选，再由冻结的决策模型挑选，以衔接开放式工作负载与快速决策模型。在 1,011 条 CALVIN-D 验证标注的六臂评测中，本地部署决策模型配合微调形式化器任务成功率达 52.6%，无形式化器仅 11.8%，端到端延迟 2.09 s，低于 Qwen3.5-27B 的 3.67 s。
来源：arXiv cs.AI · arxiv.org