ResearchDatasetsn x n matricesFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsFreivalds verification overhead measurementn x n matrices FP320.48Overhead (% MatMul Cost)17