Armando Solar-Lezama
MIT CSAIL professor in program synthesis and neurosymbolic AI; co-leads MIT's CSAIL programming systems group.
- Role
- professor
- Currently at
- MIT CSAIL
- Scholar
- scholar.google.com/citations
- Papers
- 6
Cite
Notes
Only stored in your browser.
6papers
Authored papers
6VLMaterial: Procedural Material Generation with Large Vision-Language Models
arXiv 2025
MimeQA: Towards Socially-Intelligent Nonverbal Foundation Models
arXiv 2025
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
NeurIPS
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
arXiv 2023
Is Self-Repair a Silver Bullet for Code Generation?
arXiv 2023
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning
arXiv 2020
Affiliations
Frequent co-authors
10from 6 papers