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
12 items
Conformal Language Modeling via Posterior Sampling
2026
Cited
0
An Enigma of Artificial Reason: Investigating the Production-Evaluation Gap in Large Reasoning Models
2026
Cited
0
MeMo: Memory as a Model
2026
Cited
0
A Tale of Two Temperatures: Simple, Efficient, and Diverse Sampling from Diffusion Language Models
2026
Cited
0
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
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