arXiv 人工智能· Chengxuan Pei, Ziyao Wang, Teng Mei, Zhe Li·· 5 小时前AI 评分33
学会形式化：连接开放式工作负载与快速决策模型
Learning to Formalize: Bridging Open-Ended Workloads and Fast Decision Models
AI 导读
小型候选形式化器通过从任务上下文中构建明确备选项，连接开放式任务负载与快速决策模型。在 1,011 条 CALVIN-D 验证标注上，微调形式化器将本地决策模型成功率由 11.8% 提升至最高 52.6%，端到端延迟仅 2.09 s，优于 Qwen3.5-27B 的 3.67 s。在 200 个测试轮次中，DeepSeek V4 Flash 姿态候选成功率达 46.5%。
来源：arXiv 人工智能 · arxiv.org