Armando Solar-Lezama
30 papers · 2015–2025 · 7 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+15 more ↓ Show less ↑
π§ Keyword Pioneer πΊοΈ Taxonomy Completionist (11) π Renaissance Researcher (5) π Interdisciplinary Bridge π£ Hot Topic Early Bird
π
Academic Marathon
(10)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
π±
Topic Pioneer
π₯
Mega-Team
(24)
π§¬
Topic Evolution
π
Keyword Champion
π
Triple Crown
π
Grand Slam
ποΈ
Keyword Collector
(104)
β‘
Prolific Year
(5)
π
Century Club
(30)
π₯
Unstoppable
(8)
π
Trend Setter
β
The Questioner
(3)
Conferences
NIPS (12)
ICML (9)
ICLR (5)
AAAI (1)
ACL (1)
CVPR (1)
EMNLP (1)
Top co-authors
Keywords
program synthesis
(9)
few-shot learning
(2)
probabilistic programming
(2)
program induction
(2)
neural network
(2)
code generation
(2)
constraint satisfaction
(2)
large language model
(2)
neural program synthesis
(2)
bayesian inference
(2)
probabilistic modeling
(1)
symbolic reasoning
(1)
logical reasoning
(1)
theorem proving
(1)
probabilistic inference
(1)
causal inference
(1)
neural network interpretability
(1)
transfer learning
(1)
reinforcement learning
(1)
question generation
(1)
Papers
VLMaterial: Procedural Material Generation with Large Vision-Language Models
ICLR 2025
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
ICLR 2025
Position: Future Research and Challenges Remain Towards AI for Software Engineering
ICML 2025
Neurosymbolic World Models for Sequential Decision Making
ICML 2025
MeMo: Meaningful, Modular Controllers via Noise Injection
NIPS 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
CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution
ICML 2024
Is Self-Repair a Silver Bullet for Code Generation?
ICLR 2024
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
EMNLP 2023
A Dataset for Learning University STEM Courses at Scale and Generating Questions at a Human Level
AAAI 2023
JoinABLe: Learning Bottom-Up Assembly of Parametric CAD Joints
CVPR 2022
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments
NIPS 2021
Representing Partial Programs with Blended Abstract Semantics
ICLR 2021
A large-scale benchmark for few-shot program induction and synthesis
ICML 2021
A Language for Counterfactual Generative Models
ICML 2021
Neurosymbolic Transformers for Multi-Agent Communication
NIPS 2020
Program Synthesis with Pragmatic Communication
NIPS 2020
Synthesizing Programmatic Policies that Inductively Generalize
ICLR 2020
Learning Compositional Rules via Neural Program Synthesis
NIPS 2020
Learning to Infer Program Sketches
ICML 2019
Predicate Exchange: Inference with Declarative Knowledge
ICML 2019
Write, Execute, Assess: Program Synthesis with a REPL
NIPS 2019
Learning Libraries of Subroutines for NeurallyβGuided Bayesian Program Induction
NIPS 2018
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections
NIPS 2018
Learning to Infer Graphics Programs from Hand-Drawn Images
NIPS 2018
Selecting Representative Examples for Program Synthesis
ICML 2018
Verifiable Reinforcement Learning via Policy Extraction
NIPS 2018
Sampling for Bayesian Program Learning
NIPS 2016
Unsupervised Learning by Program Synthesis
NIPS 2015