16:50
2026-07-09
gimletlabs.ai
ai-agents
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 tradit…