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

Esta investigación propone un lenguaje de especificación para contratos de kernel de ML, con el fin de definir formalmente su comportamiento esperado en plataformas de silicio heterogéneas. Introduce una estructura de contrato de ocho partes y doce clases de contrato para arbitrar disputas que surjan de la precisión, el orden o otros modos de fallo.