arXiv cs.AI· Chengxuan Pei, Ziyao Wang, Teng Mei, Zhe Li·· 6 天前AI 评分32
Learning to Formalize：弥合开放式工作负载与快速决策模型
Learning to Formalize: Bridging Open-Ended Workloads and Fast Decision Models
AI 导读
研究提出一种轻量级候选形式化器（formalizer），可从任务上下文中构建显式候选列表供冻结决策模型选择，以弥合开放式任务与快速决策模型间的鸿沟。在 1,011 个 CALVIN-D 验证标注评估中，微调形式化器使本地决策模型任务成功率由 11.8% 提升至最高 52.6%，且端到端延迟仅 2.09 s，低于 Qwen3.5-27B 的 3.67 s。
来源：arXiv cs.AI · arxiv.org