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
Osbert Bastani — most-cited papers & profile · AI for Code
← authors
·
overview
Osbert Bastani
12
papers ·
13
citations ·
27
h-index
Johns Hopkins University · California University of Pennsylvania · University of Pennsylvania · Philadelphia University
Google Scholar ↗
Semantic Scholar ↗
OpenAlex ↗
Most-cited papers
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments
2021 · 2 citations
Program Synthesis using Conflict-Driven Learning
2017 · 1 citations
Web Question Answering with Neurosymbolic Program Synthesis
2021 · 1 citations
A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
2025
Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching
2021
PAC Prediction Sets for Large Language Models of Code
2023
Top co-authors
Stephen Mell
· 2
Aaron Lamoreaux
· 1
Adam Khakhar
· 1
and Isil Dillig
· 1
Armando Solar-Lezama
· 1
Botong Zhang
· 1
David Mell
· 1
Greg Durrett
· 1
Isil Dillig
· 1
Jeevana Priya Inala
· 1
Martin Rinard
· 1
Nathan Yu
· 1
Topics
Code Generation
Software Engineering
Code Models
Program Repair
Code Translation