Equivalence Checking of ML GPU Kernels

Benjamin Driscoll, Kshitij Dubey, Anjiang Wei +3

With the rapid progress of deep learning and large language models (LLMs), companies spend enormous sums executing GPU kernels. These kernels have become prime targets for aggressi…