A Small-Scale System for Autoregressive Program Synthesis Enabling Controlled Experimentation
一个小型系统用于自回归程序合成，以实现受控实验
机构 * Apple（苹果公司）
专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI
AI总结 Cadmus系统通过低成本模型实现复杂程序合成任务，展示其在整数算术任务中的优越性能并揭示大模型的局限性。
AI 大模型
大模型推理能力
大模型数学、逻辑、规划、多步推理和测试时计算能力。
1. 代码与定理证明 2 篇
Agentifying Agentic AI
使AI具备代理性
专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI
AI总结 本文提出通过整合BDI架构与制度建模，构建具备透明性和合作性的代理系统，实现自主性与责任感的统一。
Comments 10 pages; 1 figure
