Armando Solar-Lezama

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 128

Top Venues

CoRR

Proc. ACM Program. Lang.

NeurIPS

PLDI

Publications

Naman Jain, King Han, Alex Gu, Wen-Ding Li, Fanjia Yan, Tianjun Zhang, Sida Wang, Armando Solar-Lezama, Koushik Sen, Ion Stoica
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code. CoRR (2024)
Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama
Is Self-Repair a Silver Bullet for Code Generation? ICLR (2024)
Megan Tjandrasuwita, Jie Xu, Armando Solar-Lezama, Wojciech Matusik
MeMo: Meaningful, Modular Controllers via Noise Injection. CoRR (2024)
Alex Gu, Baptiste Rozière, Hugh Leather, Armando Solar-Lezama, Gabriel Synnaeve, Sida I. Wang
CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution. CoRR (2024)
Zhening Li, Gabriel Poesia, Armando Solar-Lezama
When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions. CoRR (2024)
Alex Gu, Wen-Ding Li, Naman Jain, Theo Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? ACL (Findings) (2024)
James Psota, Armando Solar-Lezama
Pure: Evolving Message Passing To Better Leverage Shared Memory Within Nodes. PPoPP (2024)
Alex Gu, Wen-Ding Li, Naman Jain, Theo X. Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? CoRR (2024)
Theo X. Olausson, Alex Gu, Benjamin Lipkin, Cedegao E. Zhang, Armando Solar-Lezama, Joshua B. Tenenbaum, Roger Levy
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers. CoRR (2023)
Sarah J. Zhang, Samuel Florin, Ariel N. Lee, Eamon Niknafs, Andrei Marginean, Annie Wang, Keith Tyser, Zad Chin, Yann Hicke, Nikhil Singh, Madeleine Udell, Yoon Kim, Tonio Buonassisi, Armando Solar-Lezama, Iddo Drori
Exploring the MIT Mathematics and EECS Curriculum Using Large Language Models. CoRR (2023)
Matthew Bowers, Theo X. Olausson, Lionel Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama
Top-Down Synthesis for Library Learning. Proc. ACM Program. Lang. 7 (POPL) (2023)
Theo Olausson, Alex Gu, Benjamin Lipkin, Cedegao E. Zhang, Armando Solar-Lezama, Joshua B. Tenenbaum, Roger Levy
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers. EMNLP (2023)
John K. Feser, Isil Dillig, Armando Solar-Lezama
Inductive Program Synthesis Guided by Observational Program Similarity. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama
Demystifying GPT Self-Repair for Code Generation. CoRR (2023)
Ria Das, Joshua B. Tenenbaum, Armando Solar-Lezama, Zenna Tavares
Combining Functional and Automata Synthesis to Discover Causal Reactive Programs. Proc. ACM Program. Lang. 7 (POPL) (2023)
Iddo Drori, Sarah J. Zhang, Zad Chin, Reece Shuttleworth, Albert Lu, Linda Chen, Bereket Birbo, Michele He, Pedro Lantigua, Sunny Tran, Gregory Hunter, Bo Feng, Newman Cheng, Roman Wang, Yann Hicke, Saisamrit Surbehera, Arvind Raghavan, Alexander E. Siemenn, Nikhil Singh, Jayson Lynch, Avi Shporer, Nakul Verma, Tonio Buonassisi, Armando Solar-Lezama
A Dataset for Learning University STEM Courses at Scale and Generating Questions at a Human Level. AAAI (2023)
Leonardo Hernandez Cano, Yewen Pu, Robert D. Hawkins, Joshua B. Tenenbaum, Armando Solar-Lezama
Learning a Hierarchical Planner from Humans in Multiple Generations. CoRR (2023)
Kavi Gupta, Osbert Bastani, Armando Solar-Lezama
SPARLING: Learning Latent Representations with Extremely Sparse Activations. CoRR (2023)
James Koppel, Jackson Kearl, Armando Solar-Lezama
Automatically deriving control-flow graph generators from operational semantics. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Vitali Petsiuk, Alexander E. Siemenn, Saisamrit Surbehera, Zad Chin, Keith Tyser, Gregory Hunter, Arvind Raghavan, Yann Hicke, Bryan A. Plummer, Ori Kerret, Tonio Buonassisi, Kate Saenko, Armando Solar-Lezama, Iddo Drori
Human Evaluation of Text-to-Image Models on a Multi-Task Benchmark. CoRR (2022)
Alex Gu, Tamara Mitrovska, Daniela Velez, Jacob Andreas, Armando Solar-Lezama
ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications. CoRR (2022)
James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova
Searching entangled program spaces. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Ivan Kuraj, Armando Solar-Lezama, Nadia Polikarpova
Optimizing consistency for partially replicated data stores. PPoPP (2022)
Zhening Li, Gabriel Poesia, Omar Costilla-Reyes, Noah D. Goodman, Armando Solar-Lezama
LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions. CoRR (2022)
Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla-Reyes
Neurosymbolic Programming for Science. CoRR (2022)
John K. Feser, Isil Dillig, Armando Solar-Lezama
Metric Program Synthesis for Inverse CSG. CoRR (2022)
Karl D. D. Willis, Pradeep Kumar Jayaraman, Hang Chu, Yunsheng Tian, Yifei Li, Daniele Grandi, Aditya Sanghi, Linh Tran, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik
JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints. CVPR (2022)
Matthew Bowers, Theo X. Olausson, Catherine Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama
Top-Down Synthesis for Library Learning. CoRR (2022)
James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova
Searching Entangled Program Spaces. CoRR (2022)
Maxwell I. Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama
Representing Partial Programs with Blended Abstract Semantics. ICLR (2021)
Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama
Safe Human-Interactive Control via Shielding. CoRR (2021)
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard
Program Synthesis Guided Reinforcement Learning. CoRR (2021)
Kevin Ellis, Catherine Wong, Maxwell I. Nye, Mathias Sablé-Meyer, Lucas Morales, Luke B. Hewitt, Luc Cary, Armando Solar-Lezama, Joshua B. Tenenbaum
DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning. PLDI (2021)
Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama
A Language for Counterfactual Generative Models. ICML (2021)
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama
Neurosymbolic Transformers for Multi-Agent Communication. CoRR (2021)
Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, Armando Solar-Lezama
Verifiably safe exploration for end-to-end reinforcement learning. HSCC (2021)
Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue
Neurosymbolic Programming. Found. Trends Program. Lang. 7 (3) (2021)
Karl D. D. Willis, Pradeep Kumar Jayaraman, Hang Chu, Yunsheng Tian, Yifei Li, Daniele Grandi, Aditya Sanghi, Linh Tran, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik
JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints. CoRR (2021)
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. NeurIPS (2021)
Ferran Alet, Javier Lopez-Contreras, James Koppel, Maxwell I. Nye, Armando Solar-Lezama, Tomás Lozano-Pérez, Leslie Pack Kaelbling, Joshua B. Tenenbaum
A large-scale benchmark for few-shot program induction and synthesis. ICML (2021)
Karl D. D. Willis, Yewen Pu, Jieliang Luo, Hang Chu, Tao Du, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik
Fusion 360 gallery: a dataset and environment for programmatic CAD construction from human design sequences. ACM Trans. Graph. 40 (4) (2021)
Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama
Program Sketching by Automatically Generating Mocks from Tests. CAV (1) (2021)
Dana Fisman, Rishabh Singh, Armando Solar-Lezama
Special Issue on Syntax-Guided Synthesis Preface. Formal Methods Syst. Des. 58 (3) (2021)
Rajeev Alur, Richard G. Baraniuk, Rastislav Bodík, Ann W. Drobnis, Sumit Gulwani, Bjoern Hartmann, Yasmin B. Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra J. Richardson, Armando Solar-Lezama, Candace Thille, Moshe Y. Vardi
Computer-Aided Personalized Education. CoRR (2020)
John K. Feser, Sam Madden, Nan Tang, Armando Solar-Lezama
Deductive optimization of relational data storage. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama
Synthesizing Programmatic Policies that Inductively Generalize. ICLR (2020)
Ivan Kuraj, Armando Solar-Lezama
Aspect-oriented language for reactive distributed applications at the edge. EdgeSys@EuroSys (2020)
Jaejin Lee, Lawrence Rauchwerger, Armando Solar-Lezama, Guy L. Steele Jr.
Introduction to the Special Issue on PPoPP 2017 (Part 2). ACM Trans. Parallel Comput. 7 (3) (2020)
Nadia Polikarpova, Deian Stefan, Jean Yang, Shachar Itzhaky, Travis Hance, Armando Solar-Lezama
Liquid information flow control. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama
Program Synthesis with Pragmatic Communication. CoRR (2020)
Karl D. D. Willis, Yewen Pu, Jieliang Luo, Hang Chu, Tao Du, Joseph G. Lambourne, Armando Solar-Lezama, Wojciech Matusik
Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Reconstruction. CoRR (2020)
Maxwell I. Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama
Representing Partial Programs with Blended Abstract Semantics. CoRR (2020)
Maxwell I. Nye, Armando Solar-Lezama, Joshua B. Tenenbaum, Brenden M. Lake
Learning Compositional Rules via Neural Program Synthesis. CoRR (2020)
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama
Neurosymbolic Transformers for Multi-Agent Communication. NeurIPS (2020)
Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama
Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis. xxAI@ICML (2020)
James Koppel, Jackson Kearl, Armando Solar-Lezama
Automatically Deriving Control-Flow Graph Generators from Operational Semantics. CoRR (2020)
Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama
Program Synthesis with Pragmatic Communication. NeurIPS (2020)
Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das, Armando Solar-Lezama
Verifiably Safe Exploration for End-to-End Reinforcement Learning. CoRR (2020)
Maxwell I. Nye, Armando Solar-Lezama, Josh Tenenbaum, Brenden M. Lake
Learning Compositional Rules via Neural Program Synthesis. NeurIPS (2020)
Varot Premtoon, James Koppel, Armando Solar-Lezama
Semantic code search via equational reasoning. PLDI (2020)
Kevin Ellis, Catherine Wong, Maxwell I. Nye, Mathias Sablé-Meyer, Luc Cary, Lucas Morales, Luke B. Hewitt, Armando Solar-Lezama, Joshua B. Tenenbaum
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning. CoRR (2020)
Kevin Ellis, Maxwell I. Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, Armando Solar-Lezama
Write, Execute, Assess: Program Synthesis with a REPL. CoRR (2019)
Thais Campos, Jeevana Priya Inala, Armando Solar-Lezama, Hadas Kress-Gazit
Task-Based Design of Ad-hoc Modular Manipulators. ICRA (2019)
Maxwell I. Nye, Luke B. Hewitt, Joshua B. Tenenbaum, Armando Solar-Lezama
Learning to Infer Program Sketches. ICML (2019)
Zenna Tavares, Xin Zhang, Edgar Minaysan, Javier Burroni, Rajesh Ranganath, Armando Solar-Lezama
The Random Conditional Distribution for Higher-Order Probabilistic Inference. CoRR (2019)
John K. Feser, Samuel Madden, Nan Tang, Armando Solar-Lezama
Deductive Optimization of Relational Data Storage. CoRR (2019)
Maxwell I. Nye, Luke B. Hewitt, Joshua B. Tenenbaum, Armando Solar-Lezama
Learning to Infer Program Sketches. CoRR (2019)
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
Program synthesis with algebraic library specifications. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. CAV (2) (2019)
Lawrence Rauchwerger, Jaejin Lee, Armando Solar-Lezama, Guy L. Steele Jr.
Introduction to the Special Issue on PPoPP 2017 (Part 1). ACM Trans. Parallel Comput. 6 (4) (2019)
Kevin Ellis, Maxwell I. Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, Armando Solar-Lezama
Write, Execute, Assess: Program Synthesis with a REPL. NeurIPS (2019)
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
Probabilistic verification of fairness properties via concentration. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Zenna Tavares, Javier Burroni, Edgar Minaysan, Armando Solar-Lezama, Rajesh Ranganath
Soft Constraints for Inference with Declarative Knowledge. CoRR (2019)
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
Synthesizing Queries via Interactive Sketching. CoRR (2019)
Zenna Tavares, Javier Burroni, Edgar Minasyan, Armando Solar-Lezama, Rajesh Ranganath
Predicate Exchange: Inference with Declarative Knowledge. ICML (2019)
Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson
The three pillars of machine programming. MAPL@PLDI (2018)
Xin Zhang, Armando Solar-Lezama, Rishabh Singh
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections. CoRR (2018)
James Koppel, Gabriel Scherer, Armando Solar-Lezama
Capturing the future by replaying the past (functional pearl). Proc. ACM Program. Lang. 2 (ICFP) (2018)
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
Verifying Fairness Properties via Concentration. CoRR (2018)
James Koppel, Varot Premtoon, Armando Solar-Lezama
One tool, many languages: language-parametric transformation with incremental parametric syntax. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Xin Zhang, Armando Solar-Lezama, Rishabh Singh
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections. NeurIPS (2018)
Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama
REAS: Combining Numerical Optimization with SAT Solving. CoRR (2018)
Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson
The Three Pillars of Machine-Based Programming. CoRR (2018)
Soonho Kong, Armando Solar-Lezama, Sicun Gao
Delta-Decision Procedures for Exists-Forall Problems over the Reals. CoRR (2018)
Osbert Bastani, Yewen Pu, Armando Solar-Lezama
Verifiable Reinforcement Learning via Policy Extraction. NeurIPS (2018)
Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Josh Tenenbaum
Learning to Infer Graphics Programs from Hand-Drawn Images. NeurIPS (2018)
Soonho Kong, Armando Solar-Lezama, Sicun Gao
Delta-Decision Procedures for Exists-Forall Problems over the Reals. CAV (2) (2018)
Osbert Bastani, Yewen Pu, Armando Solar-Lezama
Verifiable Reinforcement Learning via Policy Extraction. CoRR (2018)
Kevin Ellis, Lucas Morales, Mathias Sablé-Meyer, Armando Solar-Lezama, Josh Tenenbaum
Learning Libraries of Subroutines for Neurally-Guided Bayesian Program Induction. NeurIPS (2018)
Rajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama
Search-based program synthesis. Commun. ACM 61 (12) (2018)
Tao Du, Jeevana Priya Inala, Yewen Pu, Andrew Spielberg, Adriana Schulz, Daniela Rus, Armando Solar-Lezama, Wojciech Matusik
InverseCSG: automatic conversion of 3D models to CSG trees. ACM Trans. Graph. 37 (6) (2018)
Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling
Selecting Representative Examples for Program Synthesis. ICML (2018)
Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
Synthesis of Recursive ADT Transformations from Reusable Templates. TACAS (1) (2017)
Derrick Lin, James Koppel, Angela Chen, Armando Solar-Lezama
QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge. SPLASH (Companion Volume) (2017)
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
SyGuS-Comp 2017: Results and Analysis. SYNT@CAV (2017)
James Koppel, Armando Solar-Lezama
Incremental parametric syntax for multi-language transformation. SPLASH (Companion Volume) (2017)
Rezaul Chowdhury, Pramod Ganapathi, Stephen L. Tschudi, Jesmin Jahan Tithi, Charles Bachmeier, Charles E. Leiserson, Armando Solar-Lezama, Bradley C. Kuszmaul, Yuan Tang
Autogen: Automatic Discovery of Efficient Recursive Divide-8-Conquer Algorithms for Solving Dynamic Programming Problems. ACM Trans. Parallel Comput. 4 (1) (2017)
Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama
Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. CoRR (2017)
Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling
Learning to select examples for program synthesis. CoRR (2017)
Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama
DemoMatch: API discovery from demonstrations. PLDI (2017)

Armando Solar-Lezama.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Armando Solar-Lezama