Awesome AI for Code
📄
Papers
🧭
Topics
🔥
Trending
🗺️
Map
🏆
Leaderboards
🎓
Learn
🤖
Ask AI
⋯
More
👥
Authors
📚
Reading Packs
📊
Datasets
🛠️
Tools
📰
News
📝
Blogs
✉️
Newsletter
🎯
Research Radar
🔖
Saved
+ Add Paper
☾
☀
← authors
·
overview
Loading author…
🤖
Ask AI
Armando Solar-Lezama — most-cited papers & profile · AI for Code
← authors
·
overview
Armando Solar-Lezama
16
papers ·
420
citations ·
44
h-index
Massachusetts Institute of Technology
Google Scholar ↗
Semantic Scholar ↗
OpenAlex ↗
Most-cited papers
sk_p: a neural program corrector for MOOCs
2016 · 115 citations
Write, Execute, Assess: Program Synthesis with a REPL
2019 · 54 citations
Learning to Infer Graphics Programs from Hand-Drawn Images
2017 · 50 citations
Learning to Infer Program Sketches
2019 · 32 citations
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
2024 · 28 citations
Program Synthesis with Pragmatic Communication
2020 · 5 citations
Is Self-Repair a Silver Bullet for Code Generation?
2023 · 5 citations
CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution
2024 · 5 citations
Representing Partial Programs with Blended Abstract Semantics
2020 · 3 citations
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments
2021 · 2 citations
Metric Program Synthesis
2022
MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis
2024
Top co-authors
Yewen Pu
· 5
Kevin Ellis
· 3
Maxwell Nye
· 3
Alex Gu
· 2
Jeevana Priya Inala
· 2
Josh Tenenbaum
· 2
Joshua B. Tenenbaum
· 2
Baptiste Rozi\`ere
· 1
Chenglong Wang
· 1
Daniel Ritchie
· 1
Fanjia Yan
· 1
Felix Sosa
· 1
Topics
Code Generation
Program Repair
Software Engineering
Code Models
Code Understanding
Testing
Code Translation
Bug Detection