Osbert Bastani

Orcid: 0000-0001-9990-7566

Affiliations:
  • University of Pennsylvania, PA, USA


According to our database1, Osbert Bastani authored at least 111 papers between 2011 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Optimal Program Synthesis via Abstract Interpretation.
Proc. ACM Program. Lang., January, 2024

Generative Adversarial Bayesian Optimization for Surrogate Objectives.
CoRR, 2024

Rethinking Fairness for Human-AI Collaboration (Extended Abstract).
Proceedings of the 15th Innovations in Theoretical Computer Science Conference, 2024

2023
PAC Prediction Sets Under Label Shift.
CoRR, 2023

Eureka: Human-Level Reward Design via Coding Large Language Models.
CoRR, 2023

Universal Visual Decomposer: Long-Horizon Manipulation Made Easy.
CoRR, 2023

Rethinking Fairness for Human-AI Collaboration.
CoRR, 2023

TRAC: Trustworthy Retrieval Augmented Chatbot.
CoRR, 2023

LIV: Language-Image Representations and Rewards for Robotic Control.
CoRR, 2023

Inverse Protein Folding Using Deep Bayesian Optimization.
CoRR, 2023

TOM: Learning Policy-Aware Models for Model-Based Reinforcement Learning via Transition Occupancy Matching.
CoRR, 2023

SPARLING: Learning Latent Representations with Extremely Sparse Activations.
CoRR, 2023

ACon<sup>2</sup>: Adaptive Conformal Consensus for Provable Blockchain Oracles.
Proceedings of the 32nd USENIX Security Symposium, 2023

Learning Policy-Aware Models for Model-Based Reinforcement Learning via Transition Occupancy Matching.
Proceedings of the Learning for Dynamics and Control Conference, 2023

Fast and Reliable Program Synthesis via User Interaction.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

LIV: Language-Image Representations and Rewards for Robotic Control.
Proceedings of the International Conference on Machine Learning, 2023

PAC Prediction Sets for Large Language Models of Code.
Proceedings of the International Conference on Machine Learning, 2023

Robust Subtask Learning for Compositional Generalization.
Proceedings of the International Conference on Machine Learning, 2023

VIP: Towards Universal Visual Reward and Representation via Value-Implicit Pre-Training.
Proceedings of the Eleventh International Conference on Learning Representations, 2023

Angelic Patches for Improving Third-Party Object Detector Performance.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Synthesizing Trajectory Queries from Examples.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Policy Synthesis and Reinforcement Learning for Discounted LTL.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Uniformly Conservative Exploration in Reinforcement Learning.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

2022
Ideograph: A Language for Expressing and Manipulating Structured Data.
Proceedings of the Proceedings Twelfth International Workshop on Computing with Terms and Graphs, 2022

Decision-Aware Learning for Optimizing Health Supply Chains.
CoRR, 2022

Bandits for Online Calibration: An Application to Content Moderation on Social Media Platforms.
CoRR, 2022

How Far I'll Go: Offline Goal-Conditioned Reinforcement Learning via f-Advantage Regression.
CoRR, 2022

Towards PAC Multi-Object Detection and Tracking.
CoRR, 2022

SMODICE: Versatile Offline Imitation Learning via State Occupancy Matching.
CoRR, 2022

Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Offline Goal-Conditioned Reinforcement Learning via $f$-Advantage Regression.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Regret Bounds for Risk-Sensitive Reinforcement Learning.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Practical Adversarial Multivalid Conformal Prediction.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

PAC Prediction Sets for Meta-Learning.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Versatile Offline Imitation from Observations and Examples via Regularized State-Occupancy Matching.
Proceedings of the International Conference on Machine Learning, 2022

Sequential Covariate Shift Detection Using Classifier Two-Sample Tests.
Proceedings of the International Conference on Machine Learning, 2022

Understanding Robust Generalization in Learning Regular Languages.
Proceedings of the International Conference on Machine Learning, 2022

PAC Prediction Sets Under Covariate Shift.
Proceedings of the Tenth International Conference on Learning Representations, 2022

Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates.
Proceedings of the Conference on Robot Learning, 2022

Specification-Guided Learning of Nash Equilibria with High Social Welfare.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

A Framework for Transforming Specifications in Reinforcement Learning.
Proceedings of the Principles of Systems Design, 2022

Counterfactual Explanations for Natural Language Interfaces.
Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2022

Conservative and Adaptive Penalty for Model-Based Safe Reinforcement Learning.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Compositional Learning and Verification of Neural Network Controllers.
ACM Trans. Embed. Comput. Syst., 2021

Safely Bridging Offline and Online Reinforcement Learning.
CoRR, 2021

Safe Human-Interactive Control via Shielding.
CoRR, 2021

Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching.
CoRR, 2021

Robust Generalization of Quadratic Neural Networks via Function Identification.
CoRR, 2021

Improving Human Decision-Making with Machine Learning.
CoRR, 2021

SkyQuery: An Aerial Drone Video Sensing Platform.
CoRR, 2021

Program Synthesis Guided Reinforcement Learning.
CoRR, 2021

Safe Reinforcement Learning via Statistical Model Predictive Shielding.
Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Web question answering with neurosymbolic program synthesis.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

SkyQuery: an aerial drone video sensing platform.
Proceedings of the Onward! 2021: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, 2021

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Learning Models for Actionable Recourse.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Conservative Offline Distributional Reinforcement Learning.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Compositional Reinforcement Learning from Logical Specifications.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Group-Sparse Matrix Factorization for Transfer Learning of Word Embeddings.
Proceedings of the 38th International Conference on Machine Learning, 2021

PAC Confidence Predictions for Deep Neural Network Classifiers.
Proceedings of the 9th International Conference on Learning Representations, 2021

Likelihood-Based Diverse Sampling for Trajectory Forecasting.
Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Few-Shot Novel Concept Learning for Semantic Parsing.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

Safe Reinforcement Learning with Nonlinear Dynamics via Model Predictive Shielding.
Proceedings of the 2021 American Control Conference, 2021

Algorithms for Fairness in Sequential Decision Making.
Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

Abstract Value Iteration for Hierarchical Reinforcement Learning.
Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

2020
Diverse Sampling for Normalizing Flow Based Trajectory Forecasting.
CoRR, 2020

Ensuring Actionable Recourse via Adversarial Training.
CoRR, 2020

Neurosymbolic Transformers for Multi-Agent Communication.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Robust Model Predictive Shielding for Safe Reinforcement Learning with Stochastic Dynamics.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Robust and Stable Black Box Explanations.
Proceedings of the 37th International Conference on Machine Learning, 2020

Generating Programmatic Referring Expressions via Program Synthesis.
Proceedings of the 37th International Conference on Machine Learning, 2020

Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis.
Proceedings of the xxAI - Beyond Explainable AI, 2020

PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction.
Proceedings of the 8th International Conference on Learning Representations, 2020

Synthesizing Programmatic Policies that Inductively Generalize.
Proceedings of the 8th International Conference on Learning Representations, 2020

Program Synthesis Using Deduction-Guided Reinforcement Learning.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation.
Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

Sample Complexity of Estimating the Policy Gradient for Nearly Deterministic Dynamical Systems.
Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

"How do I fool you?": Manipulating User Trust via Misleading Black Box Explanations.
Proceedings of the AIES '20: AAAI/ACM Conference on AI, 2020

2019
Relational verification using reinforcement learning.
Proc. ACM Program. Lang., 2019

Probabilistic verification of fairness properties via concentration.
Proc. ACM Program. Lang., 2019

Synthesizing Queries via Interactive Sketching.
CoRR, 2019

MAMPS: Safe Multi-Agent Reinforcement Learning via Model Predictive Shielding.
CoRR, 2019

Safe Reinforcement Learning via Online Shielding.
CoRR, 2019

PolyDroid: Learning-Driven Specialization of Mobile Applications.
CoRR, 2019

Learning Interpretable Models with Causal Guarantees.
CoRR, 2019

Fairness with Dynamics.
CoRR, 2019

REINAM: reinforcement learning for input-grammar inference.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

A Composable Specification Language for Reinforcement Learning Tasks.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Learning Safe Unlabeled Multi-Robot Planning with Motion Constraints.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Learning Neurosymbolic Generative Models via Program synthesis.
Proceedings of the Deep Reinforcement Learning Meets Structured Prediction, 2019

Eventually Sound Points-To Analysis with Specifications.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Polytopic Trees for Verification of Learning-Based Controllers.
Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2018
Verifying Fairness Properties via Concentration.
CoRR, 2018

Program synthesis using conflict-driven learning.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Active learning of points-to specifications.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Verifiable Reinforcement Learning via Policy Extraction.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017
Beyond deductive inference in program analysis.
PhD thesis, 2017

Eventually Sound Points-To Analysis with Missing Code.
CoRR, 2017

Interpretability via Model Extraction.
CoRR, 2017

Interpreting Blackbox Models via Model Extraction.
CoRR, 2017

Synthesizing program input grammars.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

2016
Minimizing GUI event traces.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Measuring Neural Net Robustness with Constraints.
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

2015
Specification Inference Using Context-Free Language Reachability.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

An interactive approach to mobile app verification.
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Interactively verifying absence of explicit information flows in Android apps.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2013
Zero-Shot Learning Through Cross-Modal Transfer
Proceedings of the 1st International Conference on Learning Representations, 2013

Stanford's 2013 KBP System.
Proceedings of the Sixth Text Analysis Conference, 2013

2012
An Efficient Homomorphic Encryption Protocol for Multi-User Systems.
IACR Cryptol. ePrint Arch., 2012

2011
Randomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and Beyond.
CoRR, 2011


  Loading...