| Verifiable reinforcement learning via policy extraction O Bastani, Y Pu, A Solar-Lezama Advances in neural information processing systems 31, 2018 | 426 | 2018 |
| Inversecsg: Automatic conversion of 3d models to csg trees T Du, JP Inala, Y Pu, A Spielberg, A Schulz, D Rus, A Solar-Lezama, ... ACM Transactions on Graphics (TOG) 37 (6), 1-16, 2018 | 178 | 2018 |
| Write, execute, assess: Program synthesis with a repl K Ellis, M Nye, Y Pu, F Sosa, J Tenenbaum, A Solar-Lezama Advances in Neural Information Processing Systems 32, 2019 | 176 | 2019 |
| Fusion 360 gallery: A dataset and environment for programmatic cad construction from human design sequences KDD Willis, Y Pu, J Luo, H Chu, T Du, JG Lambourne, A Solar-Lezama, ... ACM Transactions on Graphics (TOG) 40 (4), 1-24, 2021 | 154 | 2021 |
| sk_p: a neural program corrector for MOOCs Y Pu, K Narasimhan, A Solar-Lezama, R Barzilay Companion Proceedings of the 2016 ACM SIGPLAN International Conference on …, 2016 | 119 | 2016 |
| Hypothesis search: Inductive reasoning with language models R Wang, E Zelikman, G Poesia, Y Pu, N Haber, ND Goodman arXiv preprint arXiv:2309.05660, 2023 | 96 | 2023 |
| Engineering sketch generation for computer-aided design KDD Willis, PK Jayaraman, JG Lambourne, H Chu, Y Pu Proceedings of the IEEE/CVF conference on computer vision and pattern …, 2021 | 75 | 2021 |
| Communicating natural programs to humans and machines S Acquaviva, Y Pu, M Kryven, T Sechopoulos, C Wong, G Ecanow, M Nye, ... Advances in Neural Information Processing Systems 35, 3731-3743, 2022 | 65 | 2022 |
| Synthesis of biological models from mutation experiments AS Koksal, Y Pu, S Srivastava, R Bodik, J Fisher, N Piterman Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013 | 52 | 2013 |
| Compiler auto-vectorization with imitation learning C Mendis, C Yang, Y Pu, DS Amarasinghe, M Carbin Advances in Neural Information Processing Systems 32, 2019 | 49 | 2019 |
| Program synthesis guided reinforcement learning for partially observed environments Y Yang, JP Inala, O Bastani, Y Pu, A Solar-Lezama, M Rinard Advances in neural information processing systems 34, 29669-29683, 2021 | 46 | 2021 |
| Neurosymbolic transformers for multi-agent communication JP Inala, Y Yang, J Paulos, Y Pu, O Bastani, V Kumar, M Rinard, ... Advances in Neural Information Processing Systems 33, 13597-13608, 2020 | 35 | 2020 |
| Synthesis of first-order dynamic programming algorithms Y Pu, R Bodik, S Srivastava ACM SIGPLAN Notices 46 (10), 83-98, 2011 | 32 | 2011 |
| Selecting representative examples for program synthesis Y Pu, Z Miranda, A Solar-Lezama, L Kaelbling International Conference on Machine Learning, 4161-4170, 2018 | 31 | 2018 |
| Program synthesis with pragmatic communication Y Pu, K Ellis, M Kryven, J Tenenbaum, A Solar-Lezama Advances in neural information processing systems 33, 13249-13259, 2020 | 28 | 2020 |
| Representing partial programs with blended abstract semantics M Nye, Y Pu, M Bowers, J Andreas, JB Tenenbaum, A Solar-Lezama arXiv preprint arXiv:2012.12964, 2020 | 27 | 2020 |
| Fusion 360 gallery: A dataset and environment for programmatic cad reconstruction K Willis, Y Pu, J Luo, H Chu, T Du, J Lambourne, A Solar-Lezama, ... | 23 | 2020 |
| Combining induction and transduction for abstract reasoning WD Li, K Hu, C Larsen, Y Wu, S Alford, C Woo, SM Dunn, H Tang, M Naim, ... arXiv preprint arXiv:2411.02272, 2024 | 10 | 2024 |
| ANPL: towards natural programming with interactive decomposition D Huang, Z Nan, X Hu, P Jin, S Peng, Y Wen, R Zhang, Z Du, Q Guo, Y Pu, ... Advances in Neural Information Processing Systems 36, 69404-69440, 2023 | 9 | 2023 |
| The usability of pragmatic communication in regular expression synthesis P Vaithilingam, Y Pu, EL Glassman arXiv preprint arXiv:2308.06656, 2023 | 5 | 2023 |
Armando Solar-LezamaMITVerified email at csail.mit.edu
