➡️
继续阅读
-
Hermes Agent斜杠命令82个内置技能详解
Hermes Agent包含82个内置斜杠命令,分为CLI、CHAT和CFG三类,主要用于终端操作和会话控制。指令如/start、/stop、/new等用...
-
一分钟读论文:《Agent能否从失败中进化——自主策略演化评估基准EvoPolicyGym》
阿里巴巴达摩院提出了“自主策略演化”评估新范式EvoPolicyGym,关注在固定预算内Agent如何迭代改进策略。该方法通过轨迹级诊断框架分析预算分配、...
-
一分钟读论文:《当Agent学会自我进化——自主策略演化评估框架EvoPolicyGym》
阿里巴巴达摩院的论文《EvoPolicyGym》首次将自主策略演化形式化为独立评估设定,提出在固定交互预算内评估Agent的策略改进能力。研究表明,强自主...
-
一分钟读论文:Lean4Agent——用依赖类型语言验证 Agent 工作流
本文提出了一种使用Lean4语言对LLM Agent工作流进行形式化建模与验证的方法,克服了传统经验性测试的不足。主要贡献包括FormalAgentLib...
-
一分钟读论文:SWE-Doctor——用多面Bug复现测试引导Agent生成补丁
本文讨论了SWE-Doctor,一个通过多面Bug复现测试(BRT)指导软件开发的研究。研究表明,传统BRT主要用于验证,未能有效指导补丁生成。SWE-D...
-
当 Linux 成为“空气”:容器、Agent 与不再重要的“桌面之争” - 肘子的 Swift 周报 #143
微软和苹果推出的原生容器支持使Linux容器在Windows和macOS中变得重要。尽管Linux未能占领桌面市场,但它已成为现代计算的基础,支持多种平台...