SCOPE：把自然语言策略编译为神经符号谓词程序

SCOPE 将复合策略编译为可执行的神经谓词程序，由小模型、确定性提取器和组合代码共同执行，并与训练数据联合优化。在真实策略任务基准上，SCOPE 对提示优化、任务分解和工作流生成方法取得最高平均准确率；用最弱执行器优化出的程序无需再优化即可迁移到其他模型，在廉价模型上达到接近前沿推理模型的准确率，且预测更稳定、每条判定可通过谓词输出解释。