Formally Verifying AI-Generated GPU Kernels

1 points | by nserrino 5 hours ago