ResearchTasksBinary MultiplicationBinary MultiplicationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedFormal-language benchmark lengths 41-500 (test)TRNN58.5Accuracy (%)6May 19, 2026mult2 binary multiplication (test)——Primary metric0Feb 26, 2026