Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon
arXiv:2604.22032v1 Announce Type: new
Abstract: Every ML kernel ships with an implicit contract about what it computes. People rarely write the contract down. When two kernels disagree — when a matmul on AMD produces a different gradient than the sam…