Solar-Lezama, Armando

42 publications

ICLRW 2025 ABSINT-AI: Language Models for Abstract Interpretation Michael Wang, Kexin Pei, Armando Solar-Lezama

NeurIPS 2025 EnCompass: Enhancing Agent Programming with Search over Program Execution Paths Zhening Li, Armando Solar-Lezama, Yisong Yue, Stephan Zheng

ICLR 2025 LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code Naman Jain, King Han, Alex Gu, Wen-Ding Li, Fanjia Yan, Tianjun Zhang, Sida Wang, Armando Solar-Lezama, Koushik Sen, Ion Stoica

NeurIPS 2025 MimeQA: Towards Socially-Intelligent Nonverbal Foundation Models Hengzhi Li, Megan Tjandrasuwita, Yi R. Fung, Armando Solar-Lezama, Paul Pu Liang

ICML 2025 Neurosymbolic World Models for Sequential Decision Making Leonardo Hernandez Cano, Maxine Perroni-Scharf, Neil Dhir, Arun Ramamurthy, Armando Solar-Lezama

ICML 2025 Position: Future Research and Challenges Remain Towards AI for Software Engineering Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Kevin Ellis, Koushik Sen, Armando Solar-Lezama

ICLRW 2025 Randomly Sampled Language Reasoning Problems Reveal Limits of LLMs Kavi Gupta, Kate Sanders, Armando Solar-Lezama

ICLRW 2025 Tasks, Challenges, and Paths Towards AI for Software Engineering Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Kevin Ellis, Koushik Sen, Armando Solar-Lezama

ICLRW 2025 Tasks, Challenges, and Paths Towards AI for Software Engineering Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Yijia Shao, Ziyang Li, Diyi Yang, Koushik Sen, Kevin Ellis, Armando Solar-Lezama

ICLR 2025 VLMaterial: Procedural Material Generation with Large Vision-Language Models Beichen Li, Rundi Wu, Armando Solar-Lezama, Changxi Zheng, Liang Shi, Bernd Bickel, Wojciech Matusik

ICML 2024 CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution Alex Gu, Baptiste Roziere, Hugh James Leather, Armando Solar-Lezama, Gabriel Synnaeve, Sida Wang

ICLRW 2024 CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution Alex Gu, Baptiste Roziere, Hugh James Leather, Armando Solar-Lezama, Gabriel Synnaeve, Sida Wang

ICLR 2024 Is Self-Repair a Silver Bullet for Code Generation? Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama

NeurIPSW 2024 MathDSL: A Domain-Specific Language for Concise Mathematical Solutions via Program Synthesis Sagnik Anupam, Maddy Bowers, Omar Costilla Reyes, Armando Solar-Lezama

NeurIPS 2024 MeMo: Meaningful, Modular Controllers via Noise Injection Megan Tjandrasuwita, Jie Xu, Armando Solar-Lezama, Wojciech Matusik

ICML 2024 When Do Skills Help Reinforcement Learning? a Theoretical Analysis of Temporal Abstractions Zhening Li, Gabriel Poesia, Armando Solar-Lezama

AAAI 2023 A Dataset for Learning University STEM Courses at Scale and Generating Questions at a Human Level 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

ICMLW 2023 Building Community Driven Libraries of Natural Programs Leonardo Hernandez Cano, Yewen Pu, Robert D. Hawkins, Joshua B. Tenenbaum, Armando Solar-Lezama

CVPR 2022 JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints 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

NeurIPSW 2022 Neurosymbolic Programming for Science Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla Reyes

ICML 2021 A Language for Counterfactual Generative Models Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama

ICML 2021 A Large-Scale Benchmark for Few-Shot Program Induction and Synthesis Ferran Alet, Javier Lopez-Contreras, James Koppel, Maxwell Nye, Armando Solar-Lezama, Tomas Lozano-Perez, Leslie Kaelbling, Joshua Tenenbaum

NeurIPSW 2021 AutumnSynth: Synthesis of Reactive Programs with Structured Latent State Ria Das, Joshua B. Tenenbaum, Armando Solar-Lezama, Zenna Tavares

NeurIPS 2021 Program Synthesis Guided Reinforcement Learning for Partially Observed Environments Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard

ICLR 2021 Representing Partial Programs with Blended Abstract Semantics Maxwell Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama

NeurIPSW 2020 Causal Inductive Synthesis Corpus Zenna Tavares, Ria Das, Elizabeth Weeks, Kate Lin, Joshua B. Tenenbaum, Armando Solar-Lezama

NeurIPS 2020 Learning Compositional Rules via Neural Program Synthesis Maxwell Nye, Armando Solar-Lezama, Josh Tenenbaum, Brenden M Lake

NeurIPS 2020 Neurosymbolic Transformers for Multi-Agent Communication Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama

NeurIPS 2020 Program Synthesis with Pragmatic Communication Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, Armando Solar-Lezama

NeurIPSW 2020 Representing Partial Programs with Blended Abstract Semantics Maxwell Nye, Yewen Pu, Matthew Bowers, Jacob Andreas, Joshua B. Tenenbaum, Armando Solar-Lezama

ICLR 2020 Synthesizing Programmatic Policies That Inductively Generalize Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama

ICML 2019 Learning to Infer Program Sketches Maxwell Nye, Luke Hewitt, Joshua Tenenbaum, Armando Solar-Lezama

ICML 2019 Predicate Exchange: Inference with Declarative Knowledge Zenna Tavares, Javier Burroni, Edgar Minasyan, Armando Solar-Lezama, Rajesh Ranganath

NeurIPS 2019 Write, Execute, Assess: Program Synthesis with a REPL Kevin Ellis, Maxwell Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, Armando Solar-Lezama

NeurIPS 2018 Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections Xin Zhang, Armando Solar-Lezama, Rishabh Singh

NeurIPS 2018 Learning Libraries of Subroutines for Neurally–Guided Bayesian Program Induction Kevin Ellis, Lucas Morales, Mathias Sablé-Meyer, Armando Solar-Lezama, Josh Tenenbaum

NeurIPS 2018 Learning to Infer Graphics Programs from Hand-Drawn Images Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Josh Tenenbaum

ICML 2018 Selecting Representative Examples for Program Synthesis Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Kaelbling

NeurIPS 2018 Verifiable Reinforcement Learning via Policy Extraction Osbert Bastani, Yewen Pu, Armando Solar-Lezama

UAI 2017 Learning to Acquire Information Yewen Pu, Leslie Pack Kaelbling, Armando Solar-Lezama

NeurIPS 2016 Sampling for Bayesian Program Learning Kevin Ellis, Armando Solar-Lezama, Josh Tenenbaum

NeurIPS 2015 Unsupervised Learning by Program Synthesis Kevin Ellis, Armando Solar-Lezama, Josh Tenenbaum