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

Add to Chrome

Add to Firefox

Picture for Armando Solar-Lezama

Armando Solar-Lezama

Massachusetts Institute of Technology

Learning to Acquire Information

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

Figure 1 for Learning to Acquire Information

Figure 2 for Learning to Acquire Information

Figure 3 for Learning to Acquire Information

Figure 4 for Learning to Acquire Information

Access Paper or Ask Questions

SyGuS-Comp 2016: Results and Analysis

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

Figure 1 for SyGuS-Comp 2016: Results and Analysis

Figure 2 for SyGuS-Comp 2016: Results and Analysis

Figure 3 for SyGuS-Comp 2016: Results and Analysis

Figure 4 for SyGuS-Comp 2016: Results and Analysis

* 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

Figure 1 for sk_p: a neural program corrector for MOOCs

Figure 2 for sk_p: a neural program corrector for MOOCs

Figure 3 for sk_p: a neural program corrector for MOOCs

Figure 4 for sk_p: a neural program corrector for MOOCs

Access Paper or Ask Questions

Automated Feedback Generation for Introductory Programming Assignments

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

Figure 1 for Automated Feedback Generation for Introductory Programming Assignments

Figure 2 for Automated Feedback Generation for Introductory Programming Assignments

Figure 3 for Automated Feedback Generation for Introductory Programming Assignments

Figure 4 for Automated Feedback Generation for Introductory Programming Assignments

Access Paper or Ask Questions

Using Program Synthesis for Social Recommendations

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

Figure 1 for Using Program Synthesis for Social Recommendations

Figure 2 for Using Program Synthesis for Social Recommendations

Figure 3 for Using Program Synthesis for Social Recommendations

Figure 4 for Using Program Synthesis for Social Recommendations

Access Paper or Ask Questions