| Verifiable reinforcement learning via policy extraction O Bastani, Y Pu, A Solar-Lezama Advances in neural information processing systems 31, 2018 | 533 | 2018 |
| 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 | 255 | 2021 |
| 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 | 217 | 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 | 201 | 2019 |
| 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 | 168 | 2023 |
| 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 | 127 | 2016 |
| 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 | 105 | 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 | 86 | 2022 |
| Compiler auto-vectorization with imitation learning C Mendis, C Yang, Y Pu, DS Amarasinghe, M Carbin Advances in Neural Information Processing Systems 32, 2019 | 60 | 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 | 56 | 2021 |
| 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 | 53 | 2013 |
| 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 | 40 | 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 | 37 | 2024 |
| Selecting representative examples for program synthesis Y Pu, Z Miranda, A Solar-Lezama, L Kaelbling International Conference on Machine Learning, 4161-4170, 2018 | 35 | 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 | 33 | 2020 |
| Synthesis of first-order dynamic programming algorithms Y Pu, R Bodik, S Srivastava ACM SIGPLAN Notices 46 (10), 83-98, 2011 | 33 | 2011 |
| Cad-llm: Large language model for cad generation S Wu, A Khasahmadi, M Katz, PK Jayaraman, Y Pu, K Willis, B Liu Proceedings of the neural information processing systems conference. neurIPS 1, 2023 | 29 | 2023 |
| 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 | 28 | 2020 |
| Cadvlm: Bridging language and vision in the generation of parametric cad sketches S Wu, AH Khasahmadi, M Katz, PK Jayaraman, Y Pu, K Willis, B Liu European Conference on Computer Vision, 368-384, 2024 | 26 | 2024 |
| 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, ... | 25 | 2020 |
Armando Solar-LezamaMITVerified email at csail.mit.edu
