Armando Solar-Lezama
Scholar

Armando Solar-Lezama

Google Scholar ID: 8BX3BokAAAAJ
MIT
Google Scholar↗
Citations & Impact
All-time
Citations
9,327
 
H-index
47
 
i10-index
95
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
8 items
Power Term Polynomial Algebra for Boolean Logic
2026
Cited
0
Adaptive Problem Generation via Symbolic Representations
2026
Cited
0
EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
2025
Cited
0
Challenges and Paths Towards AI for Software Engineering
2025
Cited
0
MimeQA: Towards Socially-Intelligent Nonverbal Foundation Models
2025
Cited
0
VLMaterial: Procedural Material Generation with Large Vision-Language Models
2025
Cited
0
Randomly Sampled Language Reasoning Problems Reveal Limits of LLMs
2025
Cited
0
MeMo: Meaningful, Modular Controllers via Noise Injection
Neural Information Processing Systems · 2024
Cited
0
Resume (English only)
Co-authors
10 total
Joshua B. Tenenbaum
Joshua B. Tenenbaum
MIT
Rishabh Singh
Rishabh Singh
Research Scientist, Google Brain
Kevin Ellis
Kevin Ellis
Cornell
Yewen Pu
Yewen Pu
Nanyang Technological University
Rastislav Bodik
Rastislav Bodik
University of Washington
Jeevana Priya Inala
Jeevana Priya Inala
Microsoft
Osbert Bastani
Osbert Bastani
University of Pennsylvania
Rajeev Alur
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania