Skip to Main Content
Table 1: 
Statistics of our datasets. Compared with KB13 and Turk, StackOverflow contains more sophisticated descriptions and regexes.
DatasetKB13TurkSO
size 824 10, 000 62 
#. unique words 207 557 301 
Avg. NL length 12 25 
Avg. regex size 13 
Avg. regex depth 
DatasetKB13TurkSO
size 824 10, 000 62 
#. unique words 207 557 301 
Avg. NL length 12 25 
Avg. regex size 13 
Avg. regex depth 
Close Modal

or Create an Account

Close Modal
Close Modal