Synthesis of first-order dynamic programming algorithms. - Yewen Pu; Rastislav Bodík; Saurabh Srivastava 001 (OOPSLA, 2011)

Synthesis of biological models from mutation experiments. - Ali Sinan Köksal; Yewen Pu; Saurabh Srivastava 001; Rastislav Bodík; Jasmin Fisher; Nir Piterman (POPL, 2013)

sk_p: a neural program corrector for MOOCs. - Yewen Pu; Karthik Narasimhan; Armando Solar-Lezama; Regina Barzilay (SPLASH (Companion Volume), 2016)

Learning to Acquire Information. - Yewen Pu; Leslie Pack Kaelbling; Armando Solar-Lezama (UAI, 2017)

Learning to select examples for program synthesis. - Yewen Pu; Zachery Miranda; Armando Solar-Lezama; Leslie Pack Kaelbling (CoRR, 2017)

Selecting Representative Examples for Program Synthesis. - Yewen Pu; Zachery Miranda; Armando Solar-Lezama; Leslie Pack Kaelbling (ICML, 2018)

Verifiable Reinforcement Learning via Policy Extraction. - Osbert Bastani; Yewen Pu; Armando Solar-Lezama (NeurIPS, 2018)

InverseCSG: automatic conversion of 3D models to CSG trees. - Tao Du 001; Jeevana Priya Inala; Yewen Pu; Andrew Spielberg; Adriana Schulz; Daniela Rus; Armando Solar-Lezama; Wojciech Matusik (ACM Trans. Graph., 2018)

Write, Execute, Assess: Program Synthesis with a REPL. - Kevin Ellis; Maxwell I. Nye; Yewen Pu; Felix Sosa; Josh Tenenbaum 001; Armando Solar-Lezama (NeurIPS, 2019)

Compiler Auto-Vectorization with Imitation Learning. - Charith Mendis; Cambridge Yang; Yewen Pu; Saman P. Amarasinghe; Michael Carbin (NeurIPS, 2019)

Neurosymbolic Transformers for Multi-Agent Communication. - Jeevana Priya Inala; Yichen Yang 008; James Paulos; Yewen Pu; Osbert Bastani; Vijay Kumar 001; Martin C. Rinard; Armando Solar-Lezama (NeurIPS, 2020)

Program Synthesis with Pragmatic Communication. - Yewen Pu; Kevin Ellis; Marta Kryven; Josh Tenenbaum 001; Armando Solar-Lezama (NeurIPS, 2020)

Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction. - Karl D. D. Willis; Yewen Pu; Jieliang Luo; Hang Chu; Tao Du 001; Joseph G. Lambourne; Armando Solar-Lezama; Wojciech Matusik (CoRR, 2020)

LARC: Language annotated Abstraction and Reasoning Corpus. - Samuel Acquaviva; Yewen Pu; Maxwell I. Nye; Catherine Wong; Michael Henry Tessler; Josh Tenenbaum 001 (CogSci, 2021)

Core knowledge objects in reasoning and language use for highly abstract inductive tasks. - Gabrielle E. Ecanow; Catherine Wong; Samuel Acquaviva; Yewen Pu; Marta Kryven; Josh Tenenbaum 001 (CogSci, 2021)

Engineering Sketch Generation for Computer-Aided Design. - Karl D. D. Willis; Pradeep Kumar Jayaraman; Joseph G. Lambourne; Hang Chu; Yewen Pu (CVPR Workshops, 2021)

Representing Partial Programs with Blended Abstract Semantics. - Maxwell I. Nye; Yewen Pu; Matthew Bowers; Jacob Andreas; Joshua B. Tenenbaum; Armando Solar-Lezama (ICLR, 2021)

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. - Yichen Yang 008; Jeevana Priya Inala; Osbert Bastani; Yewen Pu; Armando Solar-Lezama; Martin C. Rinard (NeurIPS, 2021)

Program Synthesis Guided Reinforcement Learning. - Yichen Yang 008; Jeevana Priya Inala; Osbert Bastani; Yewen Pu; Armando Solar-Lezama; Martin C. Rinard (CoRR, 2021)

Fusion 360 gallery: a dataset and environment for programmatic CAD construction from human design sequences. - Karl D. D. Willis; Yewen Pu; Jieliang Luo; Hang Chu; Tao Du 001; Joseph G. Lambourne; Armando Solar-Lezama; Wojciech Matusik (ACM Trans. Graph., 2021)

Text Editing as Imitation Game. - Ning Shi; Bin Tang; Bo Yuan; Longtao Huang; Yewen Pu; Jie Fu; Zhouhan Lin (EMNLP (Findings), 2022)

Communicating Natural Programs to Humans and Machines. - Samuel Acquaviva; Yewen Pu; Marta Kryven; Theodoros Sechopoulos; Catherine Wong; Gabrielle E. Ecanow; Maxwell I. Nye; Michael Henry Tessler; Josh Tenenbaum 001 (NeurIPS, 2022)

Efficient Pragmatic Program Synthesis with Informative Specifications. - Saujas Vaduguru; Kevin Ellis; Yewen Pu (CoRR, 2022)

DiffVL: Scaling Up Soft Body Manipulation using Vision-Language Driven Differentiable Physics. - Zhiao Huang; Feng Chen; Yewen Pu; Chunru Lin; Hao Su 001; Chuang Gan 001 (NeurIPS, 2023)

ANPL: Towards Natural Programming with Interactive Decomposition. - Di Huang; Ziyuan Nan; Xing Hu 001; Pengwei Jin; Shaohui Peng; Yuanbo Wen; Rui Zhang 040; Zidong Du; Qi Guo 001; Yewen Pu; Yunji Chen (NeurIPS, 2023)

ANPL: Compiling Natural Programs with Interactive Decomposition. - Di Huang; Ziyuan Nan; Xing Hu 001; Pengwei Jin; Shaohui Peng; Yuanbo Wen; Rui Zhang 040; Zidong Du; Qi Guo 001; Yewen Pu; Yunji Chen (CoRR, 2023)

The Usability of Pragmatic Communication in Regular Expression Synthesis. - Priyan Vaithilingam; Yewen Pu; Elena L. Glassman (CoRR, 2023)

Learning a Hierarchical Planner from Humans in Multiple Generations. - Leonardo Hernandez Cano; Yewen Pu; Robert D. Hawkins; Joshua B. Tenenbaum; Armando Solar-Lezama (CoRR, 2023)

Communicating Design Intent Using Drawing and Text. - William P. McCarthy; Justin Matejka; Karl D. D. Willis; Judith E. Fan; Yewen Pu (Creativity & Cognition, 2024)

CadVLM: Bridging Language and Vision in the Generation of Parametric CAD Sketches. - Sifan Wu 003; Amir Hosein Khasahmadi; Mor Katz; Pradeep Kumar Jayaraman; Yewen Pu; Karl D. D. Willis; Bang Liu (ECCV (70), 2024)

Generating Pragmatic Examples to Train Neural Program Synthesizers. - Saujas Vaduguru; Daniel Fried; Yewen Pu (ICLR, 2024)

Hypothesis Search: Inductive Reasoning with Language Models. - Ruocheng Wang; Eric Zelikman; Gabriel Poesia; Yewen Pu; Nick Haber; Noah D. Goodman (ICLR, 2024)

Amortizing Pragmatic Program Synthesis with Rankings. - Yewen Pu; Saujas Vaduguru; Priyan Vaithilingam; Elena L. Glassman; Daniel Fried (ICML, 2024)

Creating Language-driven Spatial Variations of Icon Images. - Xianghao Xu; Aditya Ganeshan; Karl D. D. Willis; Yewen Pu; Daniel Ritchie (CoRR, 2024)

InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct. - Yutong Wu; Di Huang; Wenxuan Shi; Wei Wang; Lingzhe Gao; Shihao Liu; Ziyuan Nan; Kaizhao Yuan; Rui Zhang 040; Xishan Zhang; Zidong Du; Qi Guo 001; et al. (CoRR, 2024)

Combining Induction and Transduction for Abstract Reasoning. - Wen-Ding Li; Keya Hu; Carter Larsen; Yuqing Wu; Simon Alford; Caleb Woo; Spencer M. Dunn; Hao Tang 008; Michelangelo Naim; Dat Nguyen; Wei-Long Zheng; Zenna Tavares; et al. (CoRR, 2024)

InverseCoder: Self-improving Instruction-Tuned Code LLMs with Inverse-Instruct. - Yutong Wu; Di Huang; Wenxuan Shi; Wei Wang; Yewen Pu; Lingzhe Gao; Shihao Liu; Ziyuan Nan; Kaizhao Yuan; Rui Zhang 040; Xishan Zhang; Zidong Du; et al. (AAAI, 2025)

Combining Induction and Transduction for Abstract Reasoning. - Wen-Ding Li; Keya Hu; Carter Larsen; Yuqing Wu; Simon Alford; Caleb Woo; Spencer M. Dunn; Hao Tang 008; Wei-Long Zheng; Yewen Pu; Kevin Ellis (ICLR, 2025)

mrCAD: Multimodal Refinement of Computer-aided Designs. - William P. McCarthy; Saujas Vaduguru; Karl D. D. Willis; Justin Matejka; Judith E. Fan; Daniel Fried; Yewen Pu (CoRR, 2025)