Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon
DGX agentarXiv: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 matmu