52 citations · 155 across the 26 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CL2020★ 1 cited
Optimal Neural Program Synthesis from Multimodal Specifications
Xi Ye, Qiaochu Chen, Isil Dillig +1
Multimodal program synthesis, which leverages different types of user input to synthesize a desired program, is an attractive way to scale program synthesis to challenging settings…
cs.CL2020★ 2 cited
Benchmarking Multimodal Regex Synthesis with Complex Structures
Xi Ye, Qiaochu Chen, Isil Dillig +1
Existing datasets for regular expression (regex) generation from natural language are limited in complexity; compared to regex tasks that users post on StackOverflow, the regexes i…