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

Learning to Acquire Information


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


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Automated Feedback Generation for Introductory Programming Assignments


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


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Using Program Synthesis for Social Recommendations


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


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
<<
1
2
3