The KB13 (Kushman and Barzilay, 2013) dataset was constructed by regex experts and is relatively small.
nL-RX-Synth is data generated automatically and nL-RX-Turk is made from ordinary people by paraphrasing nL descriptions in nL-RX-Synth using Mechanical Turk (Locascio et al., 2016).