ResearchTasksFreivalds verification overhead measurementFreivalds verification overhead measurementFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedn x n matrices FP32Freivalds verification (Kernel Contracts)0.48Overhead (% MatMul Cost)17Apr 27, 2026
n x n matrices FP32Freivalds verification (Kernel Contracts)0.48Overhead (% MatMul Cost)17Apr 27, 2026