Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon

This research proposes a specification language for ML kernel contracts to formally define their expected behavior across heterogeneous silicon platforms. It introduces an eight-part contract structure and twelve contract classes to arbitrate disputes arising from precision, ordering, or other failure modes.