papers
Publications (14)
cs.LG2017
Measuring Neural Net Robustness with Constraints
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos +3
cs.LG2019
Learning Neurosymbolic Generative Models via Program Synthesis
Halley Young, Osbert Bastani, Mayur Naik
cs.LG2018
Interpretability via Model Extraction
Osbert Bastani, Carolyn Kim, Hamsa Bastani
cs.LG2019
Interpreting Blackbox Models via Model Extraction
Osbert Bastani, Carolyn Kim, Hamsa Bastani
cs.LG2019
Verifiable Reinforcement Learning via Policy Extraction
Osbert Bastani, Yewen Pu, Armando Solar-Lezama
cs.PL2018
Active Learning of Points-To Specifications
Osbert Bastani, Rahul Sharma, Alex Aiken +1
cs.CV2013
Zero-Shot Learning Through Cross-Modal Transfer
Richard Socher, Milind Ganjoo, Hamsa Sridhar +3
cs.CR2017
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability
Yu Feng, Osbert Bastani, Ruben Martins +2
cs.PL2017
Synthesizing Program Input Grammars
Osbert Bastani, Rahul Sharma, Alex Aiken +1
cs.SE2019
PolyDroid: Learning-Driven Specialization of Mobile Applications
Brian Heath, Neelay Velingker, Osbert Bastani +1
cs.PL2017
Program Synthesis using Conflict-Driven Learning
Yu Feng, Ruben Martins, Osbert Bastani +1
math.AG2011
Randomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and Beyond
Osbert Bastani, Christopher J. Hillar, Dimitar Popov +1
cs.RO2019
Learning Safe Unlabeled Multi-Robot Planning with Motion Constraints
Arbaaz Khan, Chi Zhang, Shuo Li +6
cs.PL2017
Eventually Sound Points-To Analysis with Missing Code
Osbert Bastani, Lazaro Clapp, Saswat Anand +2