Formalizing Nvidia PTX in Lean to Prove GPU Kernel Correctness

(sf-tensor.com)

2 points | by adamnemecek 6 hours ago ago