Badacze opracowali Kernel Contracts, język specyfikacji do weryfikacji poprawności jąder machine learning na różnych typach sprzętu. Narzędzie ma na celu eliminację błędów w obliczeniach ML na heterog