PulseAugur
中
实时 13:05:35
实体 WGMMA GEMM kernel

WGMMA GEMM kernel

PulseAugur coverage of WGMMA GEMM kernel — every cluster mentioning WGMMA GEMM kernel across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_349972 ·

    在Lean中形式化GPU内核以实现深度学习的正确性

    研究人员开发了一种方法，通过在Lean证明助手（Lean proof assistant）中对并行线程执行（PTX）进行建模，来形式化验证深度学习中使用的GPU内核的正确性。该方法能够对常见的GPU内核模式进行数学推理，包括获取-释放语义（acquire-release semantics）、张量核（tensor cores）和异步操作（asynchronous operations）。该团队成功地使用此框架证明了WGMMA GEMM…