arXiv Artificial Intelligence· Chengxuan Pei, Ziyao Wang, Teng Mei, Zhe Li·· 19 小时前AI 评分31
Learning to Formalize：用小型候选形式化器衔接开放式任务与快速决策模型
Learning to Formalize: Bridging Open-Ended Workloads and Fast Decision Models
AI 导读
研究提出小型候选形式化器，从任务上下文构建显式且经过验证的候选列表，再由冻结的决策模型从中选择，以衔接开放式工作负载与快速决策模型之间的接口缺口。在 200 个 CALVIN-D 测试回合上，TypeSafe Jev-1.13.0 使用通用动作成功率 11%，而使用 DeepSeek V4 Flash 位姿候选达 46.5%。
来源：arXiv Artificial Intelligence · arxiv.org