ResearchDatasetsECCFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsFormal VerificationECC48Assertion Count9Combinatorial OptimizationECC (Error-Correcting Codes)7,056.78Energy Consumption (J)9