arXivDaily arXiv每日学术速递 周一至周五更新

AI 大模型

大模型推理能力

大模型数学、逻辑、规划、多步推理和测试时计算能力。

2026-04-17 至 2026-04-17 共收录 2 信号源:cs.CL, cs.AI, cs.LG

1. 代码与定理证明 2 篇

2311.01956 2026-04-17 cs.CR cs.AI 57%

Towards Adaptive, Learning-Based Security in Decentralized Applications

迈向去中心化应用中的自适应、基于学习的安全性

Stefan Kambiz Behfar, Jon Crowcroft

机构 * Department of Computer Science and Technology, University of Cambridge, Cambridge, United Kingdom(计算机科学与技术系,剑桥大学,剑桥,英国)

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

AI总结 本文探讨了Web3系统中传统安全机制的局限性,提出基于学习的安全原语,通过AI驱动的智能证书实现持续推理与适应,以应对动态演变的攻击策略。

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.14386 2026-04-17 cs.GT cs.AI 57%

Coalition Formation in LLM Agent Networks: Stability Analysis and Convergence Guarantees

在LLM代理网络中的联盟形成:稳定性分析与收敛保证

Dongxin Guo, Jikun Wu, Siu-Ming Yiu

机构 * Department of Compute Science, The University of Hong Kong(香港大学计算机科学系) Brain Investing Limited(Brain Investing有限公司) Stellaris AI Limited(Stellaris AI有限公司)

专题命中 代码与定理证明 :chain-of-thought(abstract);分类 cs.AI

AI总结 本文提出首个基于享乐博弈理论的LLM联盟形成框架,分析了LLM代理的有限理性特性,并通过实验验证了CoalT协议在联盟稳定性上的优越性。

Comments 15 pages including supplementary material, 2 figures, 5 tables

详情

展开后加载摘要…

URL PDF HTML 收藏