跳到正文
只看论文#Microsoft
  1. Microsoft Research71

    微软研究院发布 Magnetar：基于证明的通用计算 zkVM

    微软研究院发布零知识虚拟机 Magnetar，可证明用 Rust、Go 或 C 编写的程序执行，在笔记本上每秒证明 7.2 至 8.7 百万条 RISC-V 指令，15 个基准程序上平均比现有最快 zkVM 快 10 至 39 倍，证明验证约 12 毫秒。

    推荐理由：微软研究院公开 Magnetar zkVM 的设计与基准，读者可了解零知识证明在通用程序上的效率与密码学取舍。

  1. GitHub Blog · AI & ML62

    GitHub 发布 ReviewBench：面向 AI 代码审查的开放基准

    GitHub 发布 ReviewBench，一个面向 AI 代码审查智能体的开放离线基准，基于 1.039 亿个 GitHub pull request 的分布特征构建，包含来自 187 个开源仓库、覆盖 19 种语言的 219 个 pull request。

    推荐理由：GitHub 公开了代码审查基准的构建方法与评测口径，读者可据此理解 AI 代码审查能力如何被量化比较。

  1. Microsoft Research62

    微软研究院：把物理 AI 推理卸载到边缘或云端可提升机器人表现与续航

    微软研究院对移动操作机器人工作负载做了系统性测量，发现把物理 AI 推理从机器人端侧 GPU 卸载到边缘或云端 GPU，可提升任务成功率、支持更大的模型并延长电池续航。

    推荐理由：微软研究院系统测量了机器人端侧推理的瓶颈，并给出可复用的卸载工具链，读者可据此判断物理 AI 的部署取舍。

  1. Microsoft Research62

    微软研究院在 Nature 发表逆合成模型 RetroChimera 并开源权重

    微软研究院在 Nature 发表逆合成预测框架 RetroChimera，它结合 Transformer 模型 R-SMILES 2 与基于 GNN 的模板模型 NeuralLoc，用学习式集成策略对两者预测排序。

    推荐理由：微软研究院公开 RetroChimera 的架构与盲测结果，并开源权重，读者可据此了解逆合成预测的集成思路。

已经到底了