Contratos de Kernel: Un lenguaje de especificación para la corrección del kernel de ML en silicio heterogéneo
Metadescripción: Descubre cómo el lenguaje de especificación puede corregir el kernel de Machine Learning en silicio heterogéneo de forma eficiente y precisa.