大模型推理能力

CodeReasoner: Enhancing the Code Reasoning Ability with Reinforcement Learning

Lingxiao Tang, He Ye, Zhongxin Liu, Xiaoxue Ren, Lingfeng Bao

专题命中 代码与定理证明 ：reasoning(title,abstract)

Agent Identity Evals: Measuring Agentic Identity

Elija Perrier, Michael Timothy Bennett

机构 * Centre for Quantum Software & Information（量子软件与信息中心） ； University of Technology, Sydney（悉尼技术大学） ； Australian National University（澳大利亚国立大学） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；planning(abstract)；分类 cs.AI

Resilient Multi-Agent Negotiation for Medical Supply Chains:Integrating LLMs and Blockchain for Transparent Coordination

Mariam ALMutairi, Hyungmin Kim

机构 * Virginia Tech（弗吉尼亚理工大学） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI

Comments 11 pages, 6 figure