研究 | 博客

Skills Are the New Apps — 论 Skill OS 的必然崛起

Skills Are the New Apps – Now It's Time for Skill OS

Le Chen, Zichang Wang, Wenxin Zheng et al.

上海交大研究团队通过分析近10万条真实 Skill 数据，提出 Skill 已成为 LLM Agent 时代的新型「应用」，并由此引出一个新的系统抽象：Skill OS——一个将 Skill 作为一等执行实体进行管理的操作系统层。

ProofWright: Towards Agentic Formal Verification of CUDA

Bodhisatwa Chatterjee, Drew Zagieboylo, Sana Damani et al.

来自佐治亚理工、NVIDIA Research 和斯坦福的联合研究：当 LLM 大量自动生成 GPU 内核代码时，如何保证这些代码真的是安全正确的？ProofWright 给出了一个用 AI Agent 驱动形式化验证的完整方案。

Example Paper: Large Language Models and Formal Verification

Bin Fang

探讨大语言模型在形式化验证领域的应用前景与挑战。