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

SCOPE 将自然语言策略编译为可执行的神经符号谓词程序，通过联合优化策略与训练数据实现高准确性与稳定性。该方法在多个基准任务中表现优于提示优化、任务分解和工作流生成方法，且使用弱执行器优化的程序可直接部署在低成本模型上达到与前沿推理模型相当的精度。SCOPE 的每个判断均可通过谓词输出解释，提升了策略执行的可解释性。