Armando Solar-Lezama
30 papers · 2015–2025 · 7 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+12 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (51) π Conference Polyglot Β· Silver π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π±
Topic Pioneer
π
Keyword Champion
π
Triple Crown
π₯
Mega-Team Β· Squad
π
Grand Slam
β‘
Prolific Year Β· Productive
π₯
Unstoppable Β· Bronze
β
The Questioner
(3)
π
Century Club Β· Bronze
π
Renaissance Researcher
(6)
π
Trend Setter
ποΈ
Keyword Collector
(137)
Top co-authors
Research topics
Artificial Intelligence
(24)
Core AI
(21)
Machine Learning
(16)
Deep Learning
(7)
Core Methods
(7)
Learning Paradigms
(6)
Learning Types
(6)
Bayesian & Probabilistic
(4)
Computer Science
(3)
Natural Language Processing
(3)
Reinforcement Learning
(3)
Applications
(3)
Models
(3)
Optimization & Theory
(3)
Computer Vision
(2)
Keywords
program synthesis
(10)
large language model
(5)
code generation
(4)
neural network
(3)
bayesian inference
(2)
constraint satisfaction
(2)
neural program synthesis
(2)
program induction
(2)
reinforcement learning
(2)
unsupervised learning
(2)
probabilistic programming
(2)
programmatic policy
(2)
few-shot learning
(2)
imitation learning
(2)
symbolic reasoning
(1)
probabilistic inference
(1)
transfer learning
(1)
benchmark evaluation
(1)
causal inference
(1)
locomotion control
(1)
Papers
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
ICLR 2025
Neurosymbolic World Models for Sequential Decision Making
ICML 2025
Position: Future Research and Challenges Remain Towards AI for Software Engineering
ICML 2025
VLMaterial: Procedural Material Generation with Large Vision-Language Models
ICLR 2025
CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution
ICML 2024
Is Self-Repair a Silver Bullet for Code Generation?
ICLR 2024
MeMo: Meaningful, Modular Controllers via Noise Injection
NeurIPS 2024
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?
ACL 2024
When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions
ICML 2024
A Dataset for Learning University STEM Courses at Scale and Generating Questions at a Human Level
AAAI 2023
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
EMNLP 2023
JoinABLe: Learning Bottom-Up Assembly of Parametric CAD Joints
CVPR 2022
A Language for Counterfactual Generative Models
ICML 2021
A large-scale benchmark for few-shot program induction and synthesis
ICML 2021
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments
NeurIPS 2021
Representing Partial Programs with Blended Abstract Semantics
ICLR 2021
Learning Compositional Rules via Neural Program Synthesis
NeurIPS 2020
Neurosymbolic Transformers for Multi-Agent Communication
NeurIPS 2020
Program Synthesis with Pragmatic Communication
NeurIPS 2020
Synthesizing Programmatic Policies that Inductively Generalize
ICLR 2020
Learning to Infer Program Sketches
ICML 2019
Predicate Exchange: Inference with Declarative Knowledge
ICML 2019
Write, Execute, Assess: Program Synthesis with a REPL
NeurIPS 2019
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections
NeurIPS 2018
Learning Libraries of Subroutines for NeurallyβGuided Bayesian Program Induction
NeurIPS 2018
Learning to Infer Graphics Programs from Hand-Drawn Images
NeurIPS 2018
Selecting Representative Examples for Program Synthesis
ICML 2018
Verifiable Reinforcement Learning via Policy Extraction
NeurIPS 2018
Sampling for Bayesian Program Learning
NeurIPS 2016
Unsupervised Learning by Program Synthesis
NeurIPS 2015