热点事件持续更新

LARK：形式化验证LLM生成的GPU内核

1 篇报道1 个报道来源11 小时前更新

先了解这件事

AI 综述

研究团队提出 LARK，一个自动形式化验证 LLM 生成 GPU 内核的智能体框架。据其论文，该框架在精确算术下证明这些内核与 PyTorch 参考实现在功能和内存行为上等价。

AI 根据报道生成 · 5 小时前更新

沿着报道，了解事件的不同侧面。

11月3日

13:00
arXiv · cs.AI
LARK：用 Lean 辅助推理形式化验证大语言模型（LLM，Large Language Model）生成的图形处理器（GPU，Graphics Processing Unit）内核
研究团队提出 LARK，一个对大语言模型（LLM，Large Language Model）生成的图形处理器（GPU，Graphics Processing Unit）内核做形式化验证的智能体框架，在精确算术下证明其与 PyTorch 参考实现的功能与内存行为等价。

还没有足够的连续观测数据，暂不绘制趋势。