Kernel Contracts: Eine Spezifikationssprache für ML-Kernel-Korrektheit über heterogene Siliziumarchitekturen

arXiv:2604.22032v1 Announcement Type: neu Abstract: Jeder ML-Kernel wird mit einem impliziten Vertrag ausgeliefert, der beschreibt, was er berechnet. Normalerweise schreiben die Leute den Vertrag nicht auf. Wenn sich zwei Kernel widersprechen — wenn ein matmul auf AMD einen anderen Gradienten erzeugt als derselbe matmul auf NVIDIA, wenn ein fused Attention Kernel