Benchmarking Multimodal Regex Synthesis with Complex Structures. - Xi Ye; Qiaochu Chen; Isil Dillig; Greg Durrett (ACL, 2020)

Multi-modal synthesis of regular expressions. - Qiaochu Chen; Xinyu Wang 006; Xi Ye; Greg Durrett; Isil Dillig (PLDI, 2020)

Sketch-Driven Regular Expression Generation from Natural Language and Examples. - Xi Ye; Qiaochu Chen; Xinyu Wang 006; Isil Dillig; Greg Durrett (Trans. Assoc. Comput. Linguistics, 2020)

Optimal Neural Program Synthesis from Multimodal Specifications. - Xi Ye; Qiaochu Chen; Isil Dillig; Greg Durrett (EMNLP (Findings), 2021)

Web question answering with neurosymbolic program synthesis. - Qiaochu Chen; Aaron Lamoreaux; Xinyu Wang 006; Greg Durrett; Osbert Bastani; Isil Dillig (PLDI, 2021)

Type-directed synthesis of visualizations from natural language queries. - Qiaochu Chen; Shankara Pailoor; Celeste Barnaby; Abby Criswell; Chenglong Wang; Greg Durrett; Isil Dillig (Proc. ACM Program. Lang., 2022)

SatLM: Satisfiability-Aided Language Models Using Declarative Prompting. - Xi Ye; Qiaochu Chen; Isil Dillig; Greg Durrett (NeurIPS, 2023)

Satisfiability-Aided Language Models Using Declarative Prompting. - Xi Ye; Qiaochu Chen; Isil Dillig; Greg Durrett (CoRR, 2023)

ImageEye: Batch Image Processing using Program Synthesis. - Celeste Barnaby; Qiaochu Chen; Roopsha Samanta; Isil Dillig (Proc. ACM Program. Lang., 2023)

Data Extraction via Semantic Regular Expression Synthesis. - Qiaochu Chen; Arko Banerjee; Çagatay Demiralp; Greg Durrett; Isil Dillig (Proc. ACM Program. Lang., 2023)

PhotoScout: Synthesis-Powered Multi-Modal Image Search. - Celeste Barnaby; Qiaochu Chen; Chenglong Wang; Isil Dillig (CHI, 2024)

Automated Discovery of Tactic Libraries for Interactive Theorem Proving. - Yutong Xin; Jimmy Xin; Gabriel Poesia; Noah D. Goodman; Qiaochu Chen; Isil Dillig (CoRR, 2025)

CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation. - Anirudh Khatry; Robert Zhang; Jia Pan; Ziteng Wang; Qiaochu Chen; Greg Durrett; Isil Dillig (CoRR, 2025)