List your company

ResearchFormerly WizWand

Formal-language benchmark

Benchmarks

TaskDatasetSOTA resultTrendResults

Formal-language benchmark lengths 41-500 (test)

99.4Accuracy

6

Formal-language benchmark lengths 41-500 (test)

57.8Accuracy (%)

6

Binary Multiplication

Formal-language benchmark lengths 41-500 (test)

58.5Accuracy (%)

6

Binary Addition

Formal-language benchmark lengths 41-500 (test)

100Accuracy

6

Formal-language benchmark lengths 41-500 (test)

100Accuracy

6

Missing Duplicate

Formal-language benchmark lengths 41-500 (test)

100Accuracy

6

Duplicate String

Formal-language benchmark lengths 41-500 (test)

100Accuracy

6

Formal-language benchmark lengths 41-500 (test)

67.8Accuracy

6

Modular Arithmetic

Formal-language benchmark lengths 41-500 (test)

96.1Accuracy

6

Formal-language benchmark lengths 41-500 (test)

100Accuracy

6

Stack Manipulation

Formal-language benchmark lengths 41-500 (test)

100Accuracy

6

Cycle Navigation

Formal-language benchmark lengths 41-500 (test)

100Accuracy

6

Formal-language benchmark lengths 41-500 (test)

100Accuracy

6

Modular Arithmetic (Simple)

Formal-language benchmark lengths 41-500 (test)

100Accuracy

6

Formal-language benchmark lengths 41-500 (test)

100Accuracy (%)

6