Formalizing Nvidia PTX in Lean to Prove GPU Kernel Correctness

 (sf-tensor.com)

2 points | by adamnemecek 7 hours ago ago

No comments yet.