ResearchTasksBinary MultiplicationFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedFormal-language benchmark lengths 41-500 (test)TRNN58.5Accuracy (%)6May 19, 2026mult2 binary multiplication (test)——Primary metric0Feb 26, 2026