Formally verifying AI-generated GPU kernels

2 points | by nserrino 7 hours ago