ResearchTasksVerifiable ComputationVerifiable ComputationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedn x n matrix multiplication with roundingzkReLU2Prover Complexity Exponent12Jun 11, 2026