Agentic Code Reasoning
代理代码推理
机构 * Meta, USA（Meta公司）
专题命中 代码与定理证明 ：reasoning(title,abstract)；chain-of-thought(abstract)；分类 cs.AI
AI总结 本文提出半形式推理方法，通过结构化提示提升代理在代码补丁验证、故障定位和问答任务中的准确性，实现无需执行的代码语义分析。
AI 大模型
大模型推理能力
大模型数学、逻辑、规划、多步推理和测试时计算能力。
1. 代码与定理证明 2 篇
Leveraging Imperfection with MEDLEY A Multi-Model Approach Harnessing Bias in Medical AI
利用不完美性：MEDLEY：一种多模型方法，利用医学AI中的偏差
专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI
AI总结 MEDLEY提出了一种多模型框架，通过保留模型多样性而非压缩共识，利用医学AI中的偏差提升诊断准确性与透明度。
Journal ref Front. Artif. Intell., Volume 9 (2026)
