https://gimletlabs.ai/blog/blog A blog about research on high performance AI systems. en-US hello@gimletlabs.ai (Gimlet Labs Inc.) hello@gimletlabs.ai (Gimlet Labs Inc.) Wed, 08 Jul 2026 00:00:00 GMT https://gimletlabs.ai/blog/blog/formally-verifying-ai-generated-kernels https://gimletlabs.ai/blog/blog/formally-verifying-ai-generated-kernels As AI agents get better at generating performant GPU kernels, building trust in their outputs becomes the bottleneck. At Gimlet, we've built an early research system that uses formal verification to complement traditional numeric tests in catching bugs in AI-generated kernels. Wed, 08 Jul 2026 00:00:00 GMT hello@gimletlabs.ai (Gimlet Labs Inc.) Kernel OptimizationFormal VerificationTriton