12:25
12:25 官方一手 arXiv: DeepSeek @Junhao Wei, Yanxiao Li, Haochen Li, Yifu Zhao, Dexing Yao, Baili Lu, Zikun Li, Yapeng Wang, Sio-Kei Im, Dingcheng Yang, Xu Yang ARIES-Mission2是一个零样本视觉-语言-动作(VLA)框架,将视觉语义感知与物理路线优化解耦。它用DeepSeek-V3解析自然语言任务,并用Molmo-7B进行零样本目标定位,再通过地理插值将像素坐标转为GPS航点。在UAV-VLPA-nano-30基准上,该框架的飞行距离为62.43公里,比未优化的VLA基线(79.66公里)缩短21.6%,比人工规划(69.00公里)缩短9.5%。30个任务总耗时575.40秒,平均每任务19.18秒,约为人类专家规划速度的3.6倍。其中TSP求解器每任务仅需0.16秒,而VLM推理占据主要耗时。 推荐理由: 这个框架让无人机看卫星图就能自动规划路线,比人工规划快3.6倍,飞行距离还缩短近10%,适合大规模任务。
稍后读 已读 值得跟进 有用 关注 ARIES-Mission2
12:22
12:22 官方账号 arXiv cs.AI @Yaxin Luo, Haobin Jiang, Jialv Zou, Xu Huang, Wenhao Yan, Haodong Li, Zhengrong Yue, Jing Li, Xiaofu Chen, Xiaohan Zhao, Jiacheng Liu, Jiacheng Cui, Zhiqiang Shen, Xiaotong Li AutoDesign是面向长周期智能体设计的框架,能将多模态源转化为结构化媒体输出,聚焦论文到海报生成任务。该框架引入PosterBench基准,主轨含100篇论文,横跨五个学科,验证子集含10篇。在主轨上AutoDesign得分78.32,超过闭源系统Claude Design 7.45分。在七个受控配置中,加入DesignHarness将平均得分由54.99提至67.39,提升12.4%。完全自主循环中它执行253次工具调用和11轮编辑,40分钟内成本低于3美元。 推荐理由: AutoDesign能自动把论文变海报,PosterBench上比Claude Design高7.45分,40分钟成本不到3美元。
稍后读 已读 值得跟进 有用 关注 AutoDesign
12:19
12:19 官方账号 arXiv cs.AI @Dairu Liu, Zekun Qi, Jiayu Zeng, Ruixi Yu, Yu Guan, Yintianrun Zhang, Xuchuan Chen, Sikai Liang, Zekai Li, Chenghuai Lin, Xinqiang Yu, Wenyao Zhang, He Wang, Li Yi HumanTracker 基准包含约153小时专业表演者的光学运动轨迹,覆盖四类运动族并带有文本标签。HumanScore 指标基于12K运动对(共24K运动)训练,用于对齐人类偏好。在代表性 SOTA 跟踪器上,HumanScore 能比运动学指标更准确地预测人类偏好,揭示脚部滑动和触地时机等接触稳定性问题。 推荐理由: 想评估人形机器人运动跟踪效果?HumanTracker 提供了153小时专业动作数据和更符合人眼判断的 HumanScore,能发现脚滑、触地不准这类关键问题。
稍后读 已读 值得跟进 有用 关注 HumanTracker
12:03
12:03 官方账号 arXiv cs.AI @ AlayaWorld Team, Kaipeng Zhang, Chuanhao Li, Yifan Zhan, Yongtao Ge, Yuanyang Yin, Jiaming Tan, Kang He, Liaoyuan Fan, Mingliang Zhai, Ruicong Liu, Xiaojie Xu, Xuangeng Chu, Zhen Li, Zhengyuan Lin, Zhixiang Wang, Zian Meng, Zihui Gao AlayaWorld v1.1技术报告发布,提出改进版交互式长时程世界建模。新版本将空间记忆由深度扭曲法改为流式3D点缓存渲染器。视觉条件被编码到与生成视频一致的因果VAE潜空间中。具体包括六处修改:采用运动感知潜条件、因果编码重渲染空间记忆等。报告未改变主干架构与分块自回归生成方案。 推荐理由: AlayaWorld v1.1报告出来了,空间记忆换成了3D点缓存渲染,条件编码统一到因果VAE,做世界模型的值得瞄一眼。
稍后读 已读 值得跟进 有用 关注 AlayaWorld
11:37
11:37 官方账号 arXiv cs.AI @Alison R. Panisson, Maria Eduarda W. M. Vianna, Italo Firmino da Silva, Heitor Henrique da Silva, Rafaela Fernandes Savaris, Bernardo Pandolfi Costa, Martin Augusto Gagliotti Vigil, Jim Lau, Agenor Hentz, Andréa Sabedra Bordin, Alexandre Leopoldo Gonçalves, Roberto Rodrigues-Filho 巴西圣卡塔琳娜联邦大学(UFSC)的论文提出人工智能学术联盟(LIA)的组织框架,用于整合教学、科研和大学推广。该框架采用学生中心、项目驱动的运作方式,强调民主治理和协作学习。文中展示的实践项目涵盖竞赛团队、学习小组、公开讲座、知识库和AI社会应用。这些案例说明了如何在统一组织结构下培养技术能力和横向能力,并为工程和计算机教育提供可复制的模型。 推荐理由: UFSC的LIA论文讲了AI社团怎么组织竞赛队、学习小组和公益项目,搞高校AI社团的可以参考。
稍后读 已读 值得跟进 有用 关注 LIA
11:29
11:29 官方账号 arXiv cs.LG @Zhe Ye, Hantao Lou, Yuechun Sun, Peiyang Song, Zhengxu Yan, Timothe Kasriel, Qingyang Zhang, Kaiyu Yang, Soonho Kong, Jingxuan He, Dawn Song Vero是首个评估仓库级联合实现与证明合成的基准,包含43个多模块实例。实例来自Python、Dafny、Verus和Coq的真实仓库,覆盖密码协议到分布式系统等领域。每个实例基于Lean 4,支持仅证明和代码加证明两种评估模式。最强智能体配置仅完整解决27/43个实例,在最高难度仓库上未闭合任何规格。 推荐理由: Vero拿43个真实仓库考AI写代码加形式化证明,最强配置只过了27个,想看看代码生成靠谱程度的可以来测测。
稍后读 已读 值得跟进 有用 关注 Vero
仅展示最近 2000 条内容。更早的内容请查阅 AI 日报存档 (侧边栏 → AI 日报 → 顶部「往期日报」)。