Formally Verifying AI-Generated GPU Kernels
Gimlet Labs has built an early research system that uses formal verification to prove semantic equivalence between reference PyTorch models and AI-generated GPU kernels, catching bugs that pass traditional numeric tests.…