Osbert Bastani

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 156

Top Topics

Reinforcement Learning

Program Synthesis

Conformal Prediction

Top Venues

Publications