Synthesizing symbolic models of human and machine reasoning at scale
arXiv:2611.07088v1 Announce Type: new Abstract: Symbolic models offer a powerful account of cognition, but their scope has historically been limited by the need for hand-engineering and computational tractability. We show how advances in artificial intelligence (AI) can scale symbolic modeling and help overcome these engineering limitations. We introduce Behavior-Conditioned Symbolic Synthesis (BCSS)---an approach for automated search of interpretable, deterministic symbolic programs that verifi
阅读原始来源
来源记录
研究分析
研究主张
论文标识：2611.07088。 来源描述：arXiv:2611.07088v1 Announce Type: new Abstract: Symbolic models offer a powerful account of cognition, but their scope has historically been limited by the need for hand-engineering and computational tractability. We show how advances in artificial intelligence (AI) can scale symbolic modeling and help overcome these engineering limitations. We introduce Behavior-Conditioned Symbolic Synthesis (BCSS)---an approach for automated search of interpretable, deterministic symbolic programs that verifi
评测与比较记录
可供比较的近期同类记录：“PromptOps: Iterative Prompt Optimization for LLM-as-a-Judge Systems” (arXiv, 2026年11月6日)；“KDASO: Knowledge-Data Dual-Driven Automated Skill Optimization for Liability Adjudication Tasks” (arXiv, 2026年11月6日)。主题相近仅用于导航，未核验其是否属于同一需求或独立证据。
结论适用范围
结论只能在所述模型版本、任务、数据与推理预算内解释。社区票数、下载量或榜单位置不能证明另一工作流中的可靠性。
有效性与复现缺口
需核对样本选择、基线配置、不确定性、数据污染风险、负面结果以及代码或权重可获取性；此处没有本站复现实验记录。
复核路线
阅读论文或模型卡及评测附录，针对明确基线复现一个有限结论，再测试代表性用户任务并记录结论失效的场景。