Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Armando Solar-Lezama

Armando Solar-Lezama

Massachusetts Institute of Technology

Program Synthesis Guided Reinforcement Learning


Feb 22, 2021
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard


  Access Paper or Ask Questions

Neurosymbolic Transformers for Multi-Agent Communication


Jan 05, 2021
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama


  Access Paper or Ask Questions

Representing Partial Programs with Blended Abstract Semantics


Dec 23, 2020
Maxwell Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama


  Access Paper or Ask Questions

Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction


Oct 05, 2020
Karl D. D. Willis, Yewen Pu, Jieliang Luo, Hang Chu, Tao Du, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik


  Access Paper or Ask Questions

Program Synthesis with Pragmatic Communication


Jul 09, 2020
Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama

* The second author and the third author contributed equally to this work 

  Access Paper or Ask Questions

Verifiably Safe Exploration for End-to-End Reinforcement Learning


Jul 02, 2020
Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das, Armando Solar-Lezama


  Access Paper or Ask Questions

DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning


Jun 15, 2020
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sable-Meyer, Luc Cary, Lucas Morales, Luke Hewitt, Armando Solar-Lezama, Joshua B. Tenenbaum


  Access Paper or Ask Questions

Learning Compositional Rules via Neural Program Synthesis


Mar 12, 2020
Maxwell I. Nye, Armando Solar-Lezama, Joshua B. Tenenbaum, Brenden M. Lake


  Access Paper or Ask Questions

Write, Execute, Assess: Program Synthesis with a REPL


Jun 09, 2019
Kevin Ellis, Maxwell Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, Armando Solar-Lezama

* The first four authors contributed equally to this work 

  Access Paper or Ask Questions

Learning to Infer Program Sketches


Feb 17, 2019
Maxwell Nye, Luke Hewitt, Joshua Tenenbaum, Armando Solar-Lezama


  Access Paper or Ask Questions

Verifying Fairness Properties via Concentration


Dec 02, 2018
Osbert Bastani, Xin Zhang, Armando Solar-Lezama


  Access Paper or Ask Questions

Learning to Infer Graphics Programs from Hand-Drawn Images


Oct 26, 2018
Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Joshua B. Tenenbaum


  Access Paper or Ask Questions

Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections


Aug 30, 2018
Xin Zhang, Armando Solar-Lezama, Rishabh Singh

* 24 pages 

  Access Paper or Ask Questions

Selecting Representative Examples for Program Synthesis


Jun 07, 2018
Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling


  Access Paper or Ask Questions

Verifiable Reinforcement Learning via Policy Extraction


May 22, 2018
Osbert Bastani, Yewen Pu, Armando Solar-Lezama


  Access Paper or Ask Questions

The Three Pillars of Machine Programming


May 08, 2018
Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B Tenenbaum, Tim Mattson


  Access Paper or Ask Questions

REAS: Combining Numerical Optimization with SAT Solving


Feb 13, 2018
Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama


  Access Paper or Ask Questions

SyGuS-Comp 2017: Results and Analysis


Nov 29, 2017
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama

* EPTCS 260, 2017, pp. 97-115 
* In Proceedings SYNT 2017, arXiv:1711.10224. arXiv admin note: text overlap with arXiv:1611.07627, arXiv:1602.01170 

  Access Paper or Ask Questions

Learning to Acquire Information


Jul 11, 2017
Yewen Pu, Leslie P Kaelbling, Armando Solar-Lezama


  Access Paper or Ask Questions

SyGuS-Comp 2016: Results and Analysis


Nov 23, 2016
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama

* EPTCS 229, 2016, pp. 178-202 
* In Proceedings SYNT 2016, arXiv:1611.07178. arXiv admin note: text overlap with arXiv:1602.01170 

  Access Paper or Ask Questions

sk_p: a neural program corrector for MOOCs


Jul 11, 2016
Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay


  Access Paper or Ask Questions

Automated Feedback Generation for Introductory Programming Assignments


Nov 16, 2012
Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama


  Access Paper or Ask Questions

Using Program Synthesis for Social Recommendations


Aug 14, 2012
Alvin Cheung, Armando Solar-Lezama, Samuel Madden


  Access Paper or Ask Questions