Qiaochu Chen - RankMe

26 papers A* 5Journal 20Unranked 1

Year	Rank	Type	Title / 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