SplitRegex: Efficient Regex Synthesis by Neural Example Splitting. | AMiner