AI·研究
工程团队介绍如何将Nvidia PTX指令集在Lean中形式化，从而对LLM优化生成的GPU内核进行正确性证明，保障大规模训练可靠性。
来源：原文链接 (新窗口)
← 返回搜罗吧首页
本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。