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

Diese Forschung schlägt eine Spezifikationssprache für ML-Kernel-Verträge vor, um deren erwartetes Verhalten auf heterogenen Siliziumplattformen formal zu definieren. Sie stellt eine achtteilige Vertragsstruktur und zwölf Vertragsklassen vor, um Streitigkeiten bezüglich Präzision, Reihenfolge oder anderer Fehlermodi zu schlichten.