Solar-Lezama, Armando
- DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning
2020/06/15 by Kevin Ellis, Ellis, Kevin, Catherine Wong +16 · 7 voices · 21 citations
Computer Science · #AI-based Problem Solving and Planning #Computability, Logic, AI Algorithms #Explainable Artificial Intelligence (XAI) #cs.AI #cs.LG
- LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
2024/03/12 by Naman Jain, Jain, Naman, King Han +17 · 397 citations
Computer Science · #Software Engineering Research #Model-Driven Software Engineering Techniques
- Is Self-Repair a Silver Bullet for Code Generation?
2023/06/16 by Theo X. Olausson, Theo Olausson, Olausson, Theo X. +8 · 2 voices · 24 citations
Computer Science · #cs.CL #cs.AI #cs.PL #cs.SE
- CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution
2024/01/05 by Gu, Alex, Rozière, Baptiste, Leather, Hugh +3 · 59 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- Neurosymbolic Programming for Science
2022/10/10 by Jennifer J. Sun, Sun, Jennifer J., Megan Tjandrasuwita +11 · 2 voices · 1 citation
Computer Science · Neuroscience · #Reinforcement Learning in Robotics #Neural dynamics and brain function #Evolutionary Algorithms and Applications
- Verifiable Reinforcement Learning via Policy Extraction
2018/05/22 by Osbert Bastani, Bastani, Osbert, Yewen Pu +3 · 14 citations
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Reinforcement Learning in Robotics
- VLMaterial: Procedural Material Generation with Large Vision-Language Models
2025/01/27 by Beichen Li, Rundi Wu, Li, Beichen +11 · 3 voices · 4 citations
Earth and Planetary Sciences · #3D Surveying and Cultural Heritage #cs.CV #cs.GR
- Exploring the MIT Mathematics and EECS Curriculum Using Large Language Models
2023/06/15 by Sarah J. Zhang, Zhang, Sarah J., Samuel Florin +27 · 4 voices
#cs.CL #cs.AI #cs.LG
- Learning to Infer Graphics Programs from Hand-Drawn Images
2017/07/30 by Kevin Ellis, Ellis, Kevin, Daniel Ritchie +5 · 7 citations
Computer Science · #Software Engineering Research
- Program Synthesis from Polymorphic Refinement Types
2015/10/28 by Nadia Polikarpova, Polikarpova, Nadia, Ivan Kuraj +3 · 6 citations
Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Logic, programming, and type systems
- Automated Feedback Generation for Introductory Programming Assignments
2012/04/08 by Singh, Rishabh, Gulwani, Sumit, Solar-Lezama, Armando · 5 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Challenges and Paths Towards AI for Software Engineering
2025/03/28 by Alex Gu, Gu, Alex, Naman Jain +17 · 4 voices · 4 citations
#cs.SE #cs.AI #cs.LG
- Verifiably Safe Exploration for End-to-End Reinforcement Learning
2020/07/02 by Hunt, Nathan, Fulton, Nathan, Magliacane, Sara +3 · 6 citations
#Artificial Intelligence (cs.AI) #F.3.1 #FOS: Computer and information sciences #I.2.8 #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
- JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints
2021/11/24 by Karl D. D. Willis, Willis, Karl D. D., Pradeep Kumar Jayaraman +19 · 7 citations
Engineering · #Manufacturing Process and Optimization #Additive Manufacturing and 3D Printing Technologies #3D Shape Modeling and Analysis
- Probabilistic Verification of Fairness Properties via Concentration
2018/12/02 by Bastani, Osbert, Zhang, Xin, Solar-Lezama, Armando · 4 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- Write, Execute, Assess: Program Synthesis with a REPL
2019/06/09 by Kevin Ellis, Maxwell Nye, Ellis, Kevin +9 · 4 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Reinforcement Learning in Robotics #Robot Manipulation and Learning #Software Engineering (cs.SE) #Software Engineering Research
- Human Evaluation of Text-to-Image Models on a Multi-Task Benchmark
2022/11/22 by Petsiuk, Vitali, Siemenn, Alexander E., Surbehera, Saisamrit +11 · 4 citations
#Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- skp: a neural program corrector for MOOCs
2016/07/11 by Pu, Yewen, Narasimhan, Karthik, Solar-Lezama, Armando +1 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Construction from Human Design Sequences
2020/10/05 by Karl D. D. Willis, Yewen Pu, Willis, Karl D. D. +13 · 3 citations
Engineering · #3D Shape Modeling and Analysis #Advanced Numerical Analysis Techniques #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Graphics (cs.GR) #Machine Learning (cs.LG) #Manufacturing Process and Optimization
- Program Synthesis with Pragmatic Communication
2020/07/09 by Yewen Pu, Kevin Ellis, Pu, Yewen +7 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #D.3.0 #FOS: Computer and information sciences #I.2.2 #Logic, programming, and type systems #Machine Learning and Algorithms #Software Engineering (cs.SE) #Software Engineering Research
- JSKETCH: Sketching for Java
2015/07/13 by Jeon, Jinseong, Qiu, Xiaokang, Foster, Jeffrey S. +1 · 1 citation
#F.3.1 #FOS: Computer and information sciences #I.2.2 #Programming Languages (cs.PL)
- Capturing the Future by Replaying the Past
2017/10/28 by James Koppel, Gabriel Scherer, Koppel, James +3 · 1 citation
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- Learning to Infer Program Sketches
2019/02/17 by Nye, Maxwell, Hewitt, Luke, Tenenbaum, Joshua +1 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Learning Compositional Rules via Neural Program Synthesis
2020/03/12 by Nye, Maxwell I., Solar-Lezama, Armando, Tenenbaum, Joshua B. +1 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?
2024/02/29 by Gu, Alex, Li, Wen-Ding, Jain, Naman +4 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- Searching Entangled Program Spaces
2022/06/15 by Koppel, James, Guo, Zheng, de Vries, Edsko +2 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- MeMo: Meaningful, Modular Controllers via Noise Injection
2024/05/24 by Megan Tjandrasuwita, Tjandrasuwita, Megan, Jie Xu +5 · 1 citation
Computer Science · Engineering · #Neural Networks and Applications #Low-power high-performance VLSI design
- Randomly Sampled Language Reasoning Problems Elucidate Limitations of In-Context Learning
2025/01/06 by Kavi Gupta, Gupta, Kavi, Kate Sanders +3 · 3 voices
#cs.LG