Osbert Bastani
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Stats ML×1ML×1Software Eng.×1AI×1Crypto×1
Frequent co-authors
Research Timeline
2026
Decaf: Improving Neural Decompilation with Automatic Feedback and Search
The paper introduces Decaf, a system that uses automatic feedback and search to significantly improve the semantic correctness and accuracy of neural decompilers, boosting the decompilation rate from 26.0% to 83.9% on ExeBench.
A Hierarchy of Policy Learning Problems
This paper provides a mathematical framework for studying different policy learning problems and shows reductions between them.
Highlighted terms show continued research focus across papers