#形式化器

用一个小型形式化器给快速决策模型生成候选列表，CALVIN-D 成功率从 11.8% 拉到 52.6%，延迟还比 Qwen3.5-27B 低，做机器人或决策系统的人可以看看。