Qiaochu Chen

26 papers A* 5Journal 20Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean.
CoRR
Yutong Xin, Qiaochu Chen, Greg Durrett, Isil Dillig
2025 J jnl
Active Learning for Neurosymbolic Program Synthesis.
CoRR
Celeste Barnaby, Qiaochu Chen, Ramya Ramalingam, Osbert Bastani, Isil Dillig
2025 J jnl
Active Learning for Neurosymbolic Program Synthesis.
Proc. ACM Program. Lang.
Celeste Barnaby, Qiaochu Chen, Ramya Ramalingam, Osbert Bastani, Isil Dillig
2025 J jnl
Automated Discovery of Tactic Libraries for Interactive Theorem Proving.
CoRR
Yutong Xin, Jimmy Xin, Gabriel Poesia, Noah D. Goodman, Qiaochu Chen, Isil Dillig
2025 J jnl
Automated Discovery of Tactic Libraries for Interactive Theorem Proving.
Proc. ACM Program. Lang.
Yutong Xin, Jimmy Xin, Gabriel Poesia, Noah D. Goodman, Qiaochu Chen, Isil Dillig
2025 J jnl
CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation.
CoRR
Anirudh Khatry, Robert Zhang, Jia Pan, Ziteng Wang, Qiaochu Chen, Greg Durrett, Isil Dillig
2024 A* conf
PhotoScout: Synthesis-Powered Multi-Modal Image Search.
CHI
Celeste Barnaby, Qiaochu Chen, Chenglong Wang, Isil Dillig
2024 J jnl
PhotoScout: Synthesis-Powered Multi-Modal Image Search.
CoRR
Celeste Barnaby, Qiaochu Chen, Chenglong Wang, Isil Dillig
2023 J jnl
Data Extraction via Semantic Regular Expression Synthesis.
CoRR
Qiaochu Chen, Arko Banerjee, Çagatay Demiralp, Greg Durrett, Isil Dillig
2023 J jnl
Data Extraction via Semantic Regular Expression Synthesis.
Proc. ACM Program. Lang.
Qiaochu Chen, Arko Banerjee, Çagatay Demiralp, Greg Durrett, Isil Dillig
2023 J jnl
ImageEye: Batch Image Processing Using Program Synthesis.
CoRR
Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, Isil Dillig
2023 J jnl
ImageEye: Batch Image Processing using Program Synthesis.
Proc. ACM Program. Lang.
Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, Isil Dillig
2023 A* conf
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting.
NeurIPS
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
2023 J jnl
Satisfiability-Aided Language Models Using Declarative Prompting.
CoRR
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
2022 J jnl
Type-Directed Synthesis of Visualizations from Natural Language Queries.
CoRR
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig
2022 J jnl
Type-directed synthesis of visualizations from natural language queries.
Proc. ACM Program. Lang.
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig
2021 — conf
Optimal Neural Program Synthesis from Multimodal Specifications.
EMNLP (Findings)
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
2021 J jnl
Web Question Answering with Neurosymbolic Program Synthesis.
CoRR
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
2021 A* conf
Web question answering with neurosymbolic program synthesis.
PLDI
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
2020 A* conf
Benchmarking Multimodal Regex Synthesis with Complex Structures.
ACL
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
2020 J jnl
Benchmarking Multimodal Regex Synthesis with Complex Structures.
CoRR
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
2020 A* conf
Multi-modal synthesis of regular expressions.
PLDI
Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig
2020 J jnl
Optimal Neural Program Synthesis from Multimodal Specifications.
CoRR
Xi Ye, Qiaochu Chen, Isil Dillig, Greg Durrett
2020 J jnl
Sketch-Driven Regular Expression Generation from Natural Language and Examples.
Trans. Assoc. Comput. Linguistics
Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett
2019 J jnl
Multi-Modal Synthesis of Regular Expressions.
CoRR
Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig
2019 J jnl
Sketch-Driven Regular Expression Generation from Natural Language and Examples.
CoRR
Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett