A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family
Summary
A contract-grade verifier is introduced for LLM-generated GPU kernels, highlighting that traditional one-shot tests miss many correctness issues. The verifier uses twelve tolerance-free properties to detect violations, auditing thousands of kernels and revealing a large share with fundamental errors. The work also includes a native Blackwell backward for the gated-linear-recurrence family, underscoring reliability challenges in AI-generated kernel code.