Hugging Face Daily Papers· Arnon Mazza, Elad Levi·2026-10-22 04:00· 1 天前AI 评分51

SCOPE 将自然语言策略编译为神经符号谓词程序用于 LLM 智能体策略执行

SCOPE: Compiling Natural-Language Policies into Neurosymbolic Predicate Programs

AI 导读

Arnon Mazza 与 Elad Levi 发布论文 arXiv:2610.31062，提出 SCOPE，把策略编译为由小模型、确定性抽取器和组合代码执行的可执行神经谓词程序，并通过对抗性生成反例与程序联合优化。