· ai
[Paper] Tool‑RoCo：一个 **Agent-as-Tool** 自组织 **Large Language Model** 基准，用于 **Multi‑robot Cooperation**
本研究提出了 **Tool‑RoCo**，这是一种基于 **RoCo**（一个多机器人协作平台）的新基准，用于评估大型语言模型（LLM）在长期多智能体合作中的表现。
-
- · software
[Paper] SV-LIB 1.0：用于软件验证任务的标准交换格式
在过去的二十年里，针对单一语言（例如 C、C++、Java、Rust、Python 等）的验证工具的研发投入了大量的研究与开发工作。这些工具往往专注于特定语言的语义和特性，提供形式化验证、模型检查、符号执行等技术，以帮助发现程序中的错误、漏洞或不符合规范的行为。随着软件系统的规模和复杂性不断提升，跨语言的交互与集成也日益普遍，这促使研究者开始探索能够同时支持多种语言的通用验证框架和工具链，以实现更广泛的代码安全与可靠性保障。
- · ai
[Paper] 迷失于时间？一种用于时间偏移容忍的生理信号转换的元学习框架
将光电容积描记（PPG）和球体心动描记（BCG）等非侵入性信号转换为临床有意义的信号，如动脉血压……
- · ai
合并与界定：对权重的直接操作用于类增量学习
我们提出了一种新颖的训练方法 Merge-and-Bound (M&B)，用于类别增量学习 (CIL)，该方法直接在参数空间中操作模型权重，以实现高效且稳健的增量学习...
- · ai
[Paper] MobileI2V：在移动设备上实现快速且高分辨率的图像到视频转换
最近，视频生成取得了快速进展，越来越多的关注集中在移动设备上的图像到视频（I2V）合成上。然而，子...
- · ai
[Paper] 长文档可读性评估的层次排序神经网络
可读性评估旨在评估文本的阅读难度。近年来，深度学习技术已逐步应用于可读性……
- · ai
[Paper] SpatialBench：对多模态大型语言模型进行空间认知基准测试
空间认知是现实世界多模态智能的基础，使模型能够有效地与物理环境交互。虽然多模态 ...
- · ai
Mean-Field Limits for Two-Layer Neural Networks Trained with Consensus-Based Optimization **均值场极限：使用基于共识的优化训练的双层神经网络**
我们研究两层神经网络，并使用一种基于粒子的算法——共识优化（CBO）进行训练。我们比较了 CBO 在……方面的表现。
- · ai
[Paper] MADRA: 多代理辩论用于风险感知的具身规划
It looks like the text you’d like translated is incomplete. Could you please provide the full passage (including the “> **Source:** …” line at the top) so I can translate it accurately while preserving the required formatting?
- · devops
[论文] MemFine：内存感知细粒度调度用于 MoE 训练
大规模专家混合（Mixture of Experts，MoE）模型的训练面临着由于动态 token 路由导致的严重负载不平衡而产生的关键内存瓶颈。Thi...
- · ai
[论文] SAM 引导的语义与运动变化区域挖掘用于遥感变化标题生成
遥感变化描述是一个新兴且受欢迎的研究任务，旨在用自然语言描述已发生变化的感兴趣内容……
- · ai
[Paper] Odin：面向文本丰富网络表示学习的双模块定向集成
文本属性图需要模型能够有效地将强大的文本理解与结构化推理相结合。现有方法要么依赖 …