Armando Solar-Lezama
- DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning
2020/06/15 by Kevin Ellis, Catherine Wong, Ellis, Kevin +16 · 7 voices · 26 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 · 1 voice · 572 citations
Computer Science · #Model-Driven Software Engineering Techniques #Software Engineering Research #cs.CL #cs.LG #cs.SE
- Is Self-Repair a Silver Bullet for Code Generation?
2023/06/16 by Theo X. Olausson, Theo Olausson, Jeevana Priya Inala +8 · 2 voices · 32 citations
Computer Science · #cs.CL #cs.AI #cs.PL #cs.SE
- CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution
2024/01/05 by Alex Gu, Baptiste Rozière, Gu, Alex +9 · 86 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Parallel Computing and Optimization Techniques #Software Engineering (cs.SE) #Software Engineering Research
- Verifiable Reinforcement Learning via Policy Extraction
2018/05/22 by Osbert Bastani, Bastani, Osbert, Yewen Pu +3 · 20 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
- 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
- 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 Zhang, Sarah J. Zhang, Zhang, Sarah J. +28 · 4 voices
Computer Science · Engineering · #Oil and Gas Production Techniques #Topic Modeling #cs.AI #cs.CL #cs.LG
- Learning to Infer Graphics Programs from Hand-Drawn Images
2017/07/30 by Kevin Ellis, Daniel Ritchie, Ellis, Kevin +5 · 9 citations
Computer Science · #Software Engineering Research
- Program Synthesis from Polymorphic Refinement Types
2015/10/28 by Nadia Polikarpova, Polikarpova, Nadia, Ivan Kuraj +3 · 7 citations
Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Logic, programming, and type systems
- JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints
2021/11/24 by Karl D. D. Willis, Pradeep Kumar Jayaraman, Willis, Karl D. D. +19 · 9 citations
Engineering · #Manufacturing Process and Optimization #Additive Manufacturing and 3D Printing Technologies #3D Shape Modeling and Analysis
- Write, Execute, Assess: Program Synthesis with a REPL
2019/06/09 by Kevin Ellis, Maxwell Nye, Ellis, Kevin +9 · 7 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
- Challenges and Paths Towards AI for Software Engineering
2025/03/28 by Alex Gu, Naman Jain, Gu, Alex +17 · 4 voices · 6 citations
#cs.SE #cs.AI #cs.LG
- Human Evaluation of Text-to-Image Models on a Multi-Task Benchmark
2022/11/22 by Vitali Petsiuk, Alexander E. Siemenn, Petsiuk, Vitali +25 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling
- Program Synthesis with Pragmatic Communication
2020/07/09 by Yewen Pu, Pu, Yewen, Kevin Ellis +7 · 3 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
- 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 · 4 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
- Learning to Infer Program Sketches
2019/02/17 by Maxwell Nye, Nye, Maxwell, Luke Hewitt +5 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering Research #Software Testing and Debugging Techniques #Topic Modeling
- JSKETCH: Sketching for Java
2015/07/13 by Jinseong Jeon, Xiaokang Qiu, Jeon, Jinseong +5 · 2 citations
Computer Science · #Distributed systems and fault tolerance #F.3.1 #FOS: Computer and information sciences #I.2.2 #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- Capturing the Future by Replaying the Past
2017/10/28 by James Koppel, Koppel, James, Gabriel Scherer +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 Compositional Rules via Neural Program Synthesis
2020/03/12 by Maxwell Nye, Armando Solar-Lezama, Nye, Maxwell I. +5 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling
- MeMo: Memory as a Model
2026/05/14 by Ryan Wei Heng Quek, Sanghyuk Lee, Alfred Wei Lun Leong +6 · 2 voices
Computer Science · #cs.CL #cs.AI #cs.LG
- Randomly Sampled Language Reasoning Problems Elucidate Limitations of In-Context Learning
2025/01/06 by Kavi Gupta, Gupta, Kavi, Kate Sanders +3 · 3 voices · 1 citation
#cs.LG
- Searching Entangled Program Spaces
2022/06/15 by James Koppel, Koppel, James, Zheng Guo +7 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research
- Using Program Synthesis for Social Recommendations
2012/08/14 by Alvin Cheung, Armando Solar-Lezama, Cheung, Alvin +3 · 1 citation
Computer Science · #D.1.2 #Databases (cs.DB) #FOS: Computer and information sciences #FOS: Physical sciences #H.2 #H.2.8 #I.2.2 #Machine Learning (cs.LG) #Machine Learning and Algorithms #Machine Learning and Data Classification #Physics and Society (physics.soc-ph) #Programming Languages (cs.PL) #Social and Information Networks (cs.SI) #Software Engineering Research
- 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
- MimeQA: Towards Socially-Intelligent Nonverbal Foundation Models
2025/02/23 by Haiyan Li, Li, Hengzhi, Megan Tjandrasuwita +7 · 3 citations
Engineering · #Robotics and Automated Systems