新预印本用 LLM 程序合成批量建模人类与机器在 ARC 上的推理

burny_tech · x · 2026-11-10

新预印本《Synthesizing symbolic models of human and machine reasoning at scale》提出行为条件符号合成（BCSS）方法：此前 LLM 程序合成主要用于经典心理学任务（学习、记忆、决策、规划），作者将其推广到开放式推理场景，并选择 ARC 作为试验场——人类在该任务上表现出色，机器近年逐步逼近。方法通过分析人类与模型在 ARC 上的错误推断，构建规模化的符号化认知模型，实现对人类与机器行为的过程级理解，而不仅是任务级正确率对比。作者团队包括 Brenden Lake、Todd Gureckis 等认知科学研究者。