Kernel Contracts is a specification language that formalizes correctness requirements for ML kernels to ensure consistent results across heterogeneous silicon platforms.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Establishes sufficient more-general conditions for FastTwoSum as an error-free transformation under faithful rounding modes and introduces a configurable ExtractScalar splitting for round-to-odd.
citing papers explorer
-
Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon
Kernel Contracts is a specification language that formalizes correctness requirements for ML kernels to ensure consistent results across heterogeneous silicon platforms.
-
Odd but Error-Free FastTwoSum: More General Conditions for FastTwoSum as an Error-Free Transformation for Faithful Rounding Modes
Establishes sufficient more-general conditions for FastTwoSum as an error-free transformation under faithful rounding modes and introduces a configurable ExtractScalar splitting for round-to-odd.