AI要約 異種ハードウェア向けMLカーネルの正当性を保証する仕様記述言語「Kernel Contracts」を提案。数値精度や形状制約を形式的に定義し、複数アクセラレータ間で移植時の動作一貫性を検証する枠組みを提供する。

EN This paper proposes Kernel Contracts, a specification language for verifying ML kernel correctness across heterogeneous silicon, formally describing numerical precision and shape constraints to ensure consistent behavior when porting kernels between accelerators.