Formally Verifying AI-Generated GPU Kernels(gimletlabs.ai)

https://gimletlabs.ai/blog/formally-verifying-ai-generated-kernels