Остановите войну!
for scientists:
default search action
Osbert Bastani
Person information
- affiliation: University of Pennsylvania, PA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j4]Stephen Mell, Steve Zdancewic, Osbert Bastani:
Optimal Program Synthesis via Abstract Interpretation. Proc. ACM Program. Lang. 8(POPL): 457-481 (2024) - [c70]Haosen Ge, Hamsa Bastani, Osbert Bastani:
Rethinking Fairness for Human-AI Collaboration (Extended Abstract). ITCS 2024: 52:1-52:1 - [i73]Michael S. Yao, Yimeng Zeng, Hamsa Bastani, Jacob R. Gardner, James C. Gee, Osbert Bastani:
Generative Adversarial Bayesian Optimization for Surrogate Objectives. CoRR abs/2402.06532 (2024) - 2023
- [c69]Wanqiao Xu, Yecheng Jason Ma, Kan Xu, Hamsa Bastani, Osbert Bastani:
Uniformly Conservative Exploration in Reinforcement Learning. AISTATS 2023: 10856-10870 - [c68]Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) 2023: 415-435 - [c67]Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani:
Synthesizing Trajectory Queries from Examples. CAV (1) 2023: 459-484 - [c66]Wenwen Si, Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani:
Angelic Patches for Improving Third-Party Object Detector Performance. CVPR 2023: 24638-24647 - [c65]Yecheng Jason Ma, Shagun Sodhani, Dinesh Jayaraman, Osbert Bastani, Vikash Kumar, Amy Zhang:
VIP: Towards Universal Visual Reward and Representation via Value-Implicit Pre-Training. ICLR 2023 - [c64]Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur:
Robust Subtask Learning for Compositional Generalization. ICML 2023: 15371-15387 - [c63]Adam Khakhar, Stephen Mell, Osbert Bastani:
PAC Prediction Sets for Large Language Models of Code. ICML 2023: 16237-16249 - [c62]Yecheng Jason Ma, Vikash Kumar, Amy Zhang, Osbert Bastani, Dinesh Jayaraman:
LIV: Language-Image Representations and Rewards for Robotic Control. ICML 2023: 23301-23320 - [c61]Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng:
Fast and Reliable Program Synthesis via User Interaction. ASE 2023: 963-975 - [c60]Yecheng Jason Ma, Kausik Sivakumar, Jason Yan, Osbert Bastani, Dinesh Jayaraman:
Learning Policy-Aware Models for Model-Based Reinforcement Learning via Transition Occupancy Matching. L4DC 2023: 259-271 - [c59]Sangdon Park, Osbert Bastani, Taesoo Kim:
ACon2: Adaptive Conformal Consensus for Provable Blockchain Oracles. USENIX Security Symposium 2023: 3313-3330 - [i72]Kavi Gupta, Osbert Bastani, Armando Solar-Lezama:
SPARLING: Learning Latent Representations with Extremely Sparse Activations. CoRR abs/2302.01976 (2023) - [i71]Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur:
Robust Subtask Learning for Compositional Generalization. CoRR abs/2302.02984 (2023) - [i70]Adam Khakhar, Stephen Mell, Osbert Bastani:
PAC Prediction Sets for Large Language Models of Code. CoRR abs/2302.08703 (2023) - [i69]Yecheng Jason Ma, Kausik Sivakumar, Jason Yan, Osbert Bastani, Dinesh Jayaraman:
TOM: Learning Policy-Aware Models for Model-Based Reinforcement Learning via Transition Occupancy Matching. CoRR abs/2305.12663 (2023) - [i68]Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
Policy Synthesis and Reinforcement Learning for Discounted LTL. CoRR abs/2305.17115 (2023) - [i67]Natalie Maus, Yimeng Zeng, Daniel Allen Anderson, Phillip Maffettone, Aaron Solomon, Peyton Greenside, Osbert Bastani, Jacob R. Gardner:
Inverse Protein Folding Using Deep Bayesian Optimization. CoRR abs/2305.18089 (2023) - [i66]Yecheng Jason Ma, William Liang, Vaidehi Som, Vikash Kumar, Amy Zhang, Osbert Bastani, Dinesh Jayaraman:
LIV: Language-Image Representations and Rewards for Robotic Control. CoRR abs/2306.00958 (2023) - [i65]Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani:
TRAC: Trustworthy Retrieval Augmented Chatbot. CoRR abs/2307.04642 (2023) - [i64]Haosen Ge, Hamsa Bastani, Osbert Bastani:
Rethinking Fairness for Human-AI Collaboration. CoRR abs/2310.03647 (2023) - [i63]Zichen Zhang, Yunshuang Li, Osbert Bastani, Abhishek Gupta, Dinesh Jayaraman, Yecheng Jason Ma, Luca Weihs:
Universal Visual Decomposer: Long-Horizon Manipulation Made Easy. CoRR abs/2310.08581 (2023) - [i62]Yecheng Jason Ma, William Liang, Guanzhi Wang, De-An Huang, Osbert Bastani, Dinesh Jayaraman, Yuke Zhu, Linxi Fan, Anima Anandkumar:
Eureka: Human-Level Reward Design via Coding Large Language Models. CoRR abs/2310.12931 (2023) - [i61]Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani:
PAC Prediction Sets Under Label Shift. CoRR abs/2310.12964 (2023) - 2022
- [c58]Yecheng Jason Ma, Andrew Shen, Osbert Bastani, Dinesh Jayaraman:
Conservative and Adaptive Penalty for Model-Based Safe Reinforcement Learning. AAAI 2022: 5404-5412 - [c57]George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani:
Counterfactual Explanations for Natural Language Interfaces. ACL (2) 2022: 113-118 - [c56]Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan:
A Framework for Transforming Specifications in Reinforcement Learning. Principles of Systems Design 2022: 604-624 - [c55]Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur:
Specification-Guided Learning of Nash Equilibria with High Social Welfare. CAV (2) 2022: 343-363 - [c54]Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris:
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRL 2022: 1499-1509 - [c53]Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani:
PAC Prediction Sets Under Covariate Shift. ICLR 2022 - [c52]Soham Dan, Osbert Bastani, Dan Roth:
Understanding Robust Generalization in Learning Regular Languages. ICML 2022: 4630-4643 - [c51]Sooyong Jang, Sangdon Park, Insup Lee, Osbert Bastani:
Sequential Covariate Shift Detection Using Classifier Two-Sample Tests. ICML 2022: 9845-9880 - [c50]Yecheng Jason Ma, Andrew Shen, Dinesh Jayaraman, Osbert Bastani:
Versatile Offline Imitation from Observations and Examples via Regularized State-Occupancy Matching. ICML 2022: 14639-14663 - [c49]Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani:
PAC Prediction Sets for Meta-Learning. NeurIPS 2022 - [c48]Osbert Bastani, Varun Gupta, Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth:
Practical Adversarial Multivalid Conformal Prediction. NeurIPS 2022 - [c47]Osbert Bastani, Yecheng Jason Ma, Estelle Shen, Wanqiao Xu:
Regret Bounds for Risk-Sensitive Reinforcement Learning. NeurIPS 2022 - [c46]Yecheng Jason Ma, Jason Yan, Dinesh Jayaraman, Osbert Bastani:
Offline Goal-Conditioned Reinforcement Learning via $f$-Advantage Regression. NeurIPS 2022 - [c45]Halley Young, Maxwell Du, Osbert Bastani:
Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints. NeurIPS 2022 - [c44]Stephen Mell, Osbert Bastani, Steve Zdancewic:
Ideograph: A Language for Expressing and Manipulating Structured Data. TERMGRAPH@FSCD 2022: 65-84 - [i60]Yecheng Jason Ma, Andrew Shen, Dinesh Jayaraman, Osbert Bastani:
SMODICE: Versatile Offline Imitation Learning via State Occupancy Matching. CoRR abs/2202.02433 (2022) - [i59]Soham Dan, Osbert Bastani, Dan Roth:
Understanding Robust Generalization in Learning Regular Languages. CoRR abs/2202.09717 (2022) - [i58]Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris:
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRR abs/2202.12967 (2022) - [i57]Shuo Li, Sangdon Park, Xiayan Ji, Insup Lee, Osbert Bastani:
Towards PAC Multi-Object Detection and Tracking. CoRR abs/2204.07482 (2022) - [i56]George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani:
Counterfactual Explanations for Natural Language Interfaces. CoRR abs/2204.13192 (2022) - [i55]Osbert Bastani, Varun Gupta, Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth:
Practical Adversarial Multivalid Conformal Prediction. CoRR abs/2206.01067 (2022) - [i54]Yecheng Jason Ma, Jason Yan, Dinesh Jayaraman, Osbert Bastani:
How Far I'll Go: Offline Goal-Conditioned Reinforcement Learning via f-Advantage Regression. CoRR abs/2206.03023 (2022) - [i53]Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur:
Specification-Guided Learning of Nash Equilibria with High Social Welfare. CoRR abs/2206.03348 (2022) - [i52]Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani:
PAC Prediction Sets for Meta-Learning. CoRR abs/2207.02440 (2022) - [i51]Yecheng Jason Ma, Shagun Sodhani, Dinesh Jayaraman, Osbert Bastani, Vikash Kumar, Amy Zhang:
VIP: Towards Universal Visual Reward and Representation via Value-Implicit Pre-Training. CoRR abs/2210.00030 (2022) - [i50]Osbert Bastani, Yecheng Jason Ma, Estelle Shen, Wanqiao Xu:
Regret Bounds for Risk-Sensitive Reinforcement Learning. CoRR abs/2210.05650 (2022) - [i49]Vashist Avadhanula, Omar Abdul Baki, Hamsa Bastani, Osbert Bastani, Caner Gocmen, Daniel Haimovich, Darren Hwang, Dima Karamshuk, Thomas J. Leeper, Jiayuan Ma, Gregory Macnamara, Jake Mullett, Christopher Palow, Sung Park, Varun S. Rajagopal, Kevin Schaeffer, Parikshit Shah, Deeksha Sinha, Nicolás Stier Moses, Peng Xu:
Bandits for Online Calibration: An Application to Content Moderation on Social Media Platforms. CoRR abs/2211.06516 (2022) - [i48]Tsai-Hsuan Chung, Vahid Rostami, Hamsa Bastani, Osbert Bastani:
Decision-Aware Learning for Optimizing Health Supply Chains. CoRR abs/2211.08507 (2022) - [i47]Sangdon Park, Osbert Bastani, Taesoo Kim:
ACon2: Adaptive Conformal Consensus for Provable Blockchain Oracles. CoRR abs/2211.09330 (2022) - 2021
- [j3]Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani:
Compositional Learning and Verification of Neural Network Controllers. ACM Trans. Embed. Comput. Syst. 20(5s): 92:1-92:26 (2021) - [c43]Min Wen, Osbert Bastani, Ufuk Topcu:
Algorithms for Fairness in Sequential Decision Making. AISTATS 2021: 1144-1152 - [c42]Kishor Jothimurugan, Osbert Bastani, Rajeev Alur:
Abstract Value Iteration for Hierarchical Reinforcement Learning. AISTATS 2021: 1162-1170 - [c41]Osbert Bastani:
Safe Reinforcement Learning with Nonlinear Dynamics via Model Predictive Shielding. ACC 2021: 3488-3494 - [c40]Soham Dan, Osbert Bastani, Dan Roth:
Few-Shot Novel Concept Learning for Semantic Parsing. EMNLP (Findings) 2021: 2064-2075 - [c39]Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani:
Likelihood-Based Diverse Sampling for Trajectory Forecasting. ICCV 2021: 13259-13268 - [c38]Sangdon Park, Shuo Li, Insup Lee, Osbert Bastani:
PAC Confidence Predictions for Deep Neural Network Classifiers. ICLR 2021 - [c37]Kan Xu, Xuanyi Zhao, Hamsa Bastani, Osbert Bastani:
Group-Sparse Matrix Factorization for Transfer Learning of Word Embeddings. ICML 2021: 11603-11612 - [c36]Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur:
Compositional Reinforcement Learning from Logical Specifications. NeurIPS 2021: 10026-10039 - [c35]Alexis Ross, Himabindu Lakkaraju, Osbert Bastani:
Learning Models for Actionable Recourse. NeurIPS 2021: 18734-18746 - [c34]Yecheng Jason Ma, Dinesh Jayaraman, Osbert Bastani:
Conservative Offline Distributional Reinforcement Learning. NeurIPS 2021: 19235-19247 - [c33]Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard:
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. NeurIPS 2021: 29669-29683 - [c32]Favyen Bastani, Songtao He, Ziwen Jiang, Osbert Bastani, Sam Madden:
SkyQuery: an aerial drone video sensing platform. Onward! 2021: 56-67 - [c31]Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig:
Web question answering with neurosymbolic program synthesis. PLDI 2021: 328-343 - [c30]Osbert Bastani, Shuo Li:
Safe Reinforcement Learning via Statistical Model Predictive Shielding. Robotics: Science and Systems 2021 - [i46]Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama:
Neurosymbolic Transformers for Multi-Agent Communication. CoRR abs/2101.03238 (2021) - [i45]Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard:
Program Synthesis Guided Reinforcement Learning. CoRR abs/2102.11137 (2021) - [i44]Favyen Bastani, Songtao He, Ziwen Jiang, Osbert Bastani, Michael J. Cafarella, Tim Kraska, Sam Madden:
SkyQuery: An Aerial Drone Video Sensing Platform. CoRR abs/2103.14699 (2021) - [i43]Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig:
Web Question Answering with Neurosymbolic Program Synthesis. CoRR abs/2104.07162 (2021) - [i42]Kan Xu, Xuanyi Zhao, Hamsa Bastani, Osbert Bastani:
Group-Sparse Matrix Factorization for Transfer Learning of Word Embeddings. CoRR abs/2104.08928 (2021) - [i41]Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani:
PAC Prediction Sets Under Covariate Shift. CoRR abs/2106.09848 (2021) - [i40]Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur:
Compositional Reinforcement Learning from Logical Specifications. CoRR abs/2106.13906 (2021) - [i39]Yecheng Jason Ma, Dinesh Jayaraman, Osbert Bastani:
Conservative Offline Distributional Reinforcement Learning. CoRR abs/2107.06106 (2021) - [i38]Hamsa Bastani, Osbert Bastani, Wichinpong Park Sinchaisri:
Improving Human Decision-Making with Machine Learning. CoRR abs/2108.08454 (2021) - [i37]Kan Xu, Hamsa Bastani, Osbert Bastani:
Robust Generalization of Quadratic Neural Networks via Function Identification. CoRR abs/2109.10935 (2021) - [i36]Osbert Bastani:
Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching. CoRR abs/2110.05390 (2021) - [i35]Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Safe Human-Interactive Control via Shielding. CoRR abs/2110.05440 (2021) - [i34]Wanqiao Xu, Kan Xu, Hamsa Bastani, Osbert Bastani:
Safely Bridging Offline and Online Reinforcement Learning. CoRR abs/2110.13060 (2021) - [i33]Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan:
A Framework for Transforming Specifications in Reinforcement Learning. CoRR abs/2111.00272 (2021) - [i32]Yecheng Jason Ma, Andrew Shen, Osbert Bastani, Dinesh Jayaraman:
Conservative and Adaptive Penalty for Model-Based Safe Reinforcement Learning. CoRR abs/2112.07701 (2021) - 2020
- [c29]Himabindu Lakkaraju, Osbert Bastani:
"How do I fool you?": Manipulating User Trust via Misleading Black Box Explanations. AIES 2020: 79-85 - [c28]Sangdon Park, Osbert Bastani, James Weimer, Insup Lee:
Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. AISTATS 2020: 3219-3229 - [c27]Osbert Bastani:
Sample Complexity of Estimating the Policy Gradient for Nearly Deterministic Dynamical Systems. AISTATS 2020: 3858-3869 - [c26]Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng:
Program Synthesis Using Deduction-Guided Reinforcement Learning. CAV (2) 2020: 587-610 - [c25]Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama:
Synthesizing Programmatic Policies that Inductively Generalize. ICLR 2020 - [c24]Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee:
PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. ICLR 2020 - [c23]Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama:
Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis. xxAI@ICML 2020: 207-228 - [c22]Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik:
Generating Programmatic Referring Expressions via Program Synthesis. ICML 2020: 4495-4506 - [c21]Himabindu Lakkaraju, Nino Arsov, Osbert Bastani:
Robust and Stable Black Box Explanations. ICML 2020: 5628-5638 - [c20]Shuo Li, Osbert Bastani:
Robust Model Predictive Shielding for Safe Reinforcement Learning with Stochastic Dynamics. ICRA 2020: 7166-7172 - [c19]Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama:
Neurosymbolic Transformers for Multi-Agent Communication. NeurIPS 2020 - [i31]Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee:
PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. CoRR abs/2001.00106 (2020) - [i30]Sangdon Park, Osbert Bastani, James Weimer, Insup Lee:
Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. CoRR abs/2003.00343 (2020) - [i29]Kishor Jothimurugan, Rajeev Alur, Osbert Bastani:
A Composable Specification Language for Reinforcement Learning Tasks. CoRR abs/2008.09293 (2020) - [i28]Kishor Jothimurugan, Osbert Bastani, Rajeev Alur:
Abstract Value Iteration for Hierarchical Reinforcement Learning. CoRR abs/2010.15638 (2020) - [i27]Sangdon Park, Shuo Li, Osbert Bastani, Insup Lee:
PAC Confidence Predictions for Deep Neural Network Classifiers. CoRR abs/2011.00716 (2020) - [i26]Alexis Ross, Himabindu Lakkaraju, Osbert Bastani:
Ensuring Actionable Recourse via Adversarial Training. CoRR abs/2011.06146 (2020) - [i25]Himabindu Lakkaraju, Nino Arsov, Osbert Bastani:
Robust and Stable Black Box Explanations. CoRR abs/2011.06169 (2020) - [i24]Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani:
Diverse Sampling for Normalizing Flow Based Trajectory Forecasting. CoRR abs/2011.15084 (2020)
2010 – 2019
- 2019
- [j2]Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Probabilistic verification of fairness properties via concentration. Proc. ACM Program. Lang. 3(OOPSLA): 118:1-118:27 (2019) - [j1]Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig:
Relational verification using reinforcement learning. Proc. ACM Program. Lang. 3(OOPSLA): 141:1-141:30 (2019) - [c18]Sadra Sadraddini, Shen Shen, Osbert Bastani:
Polytopic Trees for Verification of Learning-Based Controllers. NSV@CAV 2019: 110-127 - [c17]Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken:
Eventually Sound Points-To Analysis with Specifications. ECOOP 2019: 11:1-11:28 - [c16]Halley Young, Osbert Bastani, Mayur Naik:
Learning Neurosymbolic Generative Models via Program synthesis. DeepRLStructPred@ICLR 2019 - [c15]Halley Young, Osbert Bastani, Mayur Naik:
Learning Neurosymbolic Generative Models via Program Synthesis. ICML 2019: 7144-7153 - [c14]Arbaaz Khan, Chi Zhang, Shuo Li, Jiayue Wu, Brent Schlotfeldt, Sarah Y. Tang, Alejandro Ribeiro, Osbert Bastani, Vijay Kumar:
Learning Safe Unlabeled Multi-Robot Planning with Motion Constraints. IROS 2019: 7558-7565 - [c13]Kishor Jothimurugan, Rajeev Alur, Osbert Bastani:
A Composable Specification Language for Reinforcement Learning Tasks. NeurIPS 2019: 13021-13030 - [c12]Zhengkai Wu, Evan Johnson, Wei Yang, Osbert Bastani, Dawn Song, Jian Peng, Tao Xie:
REINAM: reinforcement learning for input-grammar inference. ESEC/SIGSOFT FSE 2019: 488-498 - [i23]Osbert Bastani:
Sample Complexity of Estimating the Policy Gradient for Nearly Deterministic Dynamical Systems. CoRR abs/1901.08562 (2019) - [i22]Halley Young, Osbert Bastani, Mayur Naik:
Learning Neurosymbolic Generative Models via Program Synthesis. CoRR abs/1901.08565 (2019) - [i21]Min Wen, Osbert Bastani, Ufuk Topcu:
Fairness with Dynamics. CoRR abs/1901.08568 (2019) - [i20]Carolyn Kim, Osbert Bastani:
Learning Interpretable Models with Causal Guarantees. CoRR abs/1901.08576 (2019) - [i19]Brian Heath, Neelay Velingker, Osbert Bastani, Mayur Naik:
PolyDroid: Learning-Driven Specialization of Mobile Applications. CoRR abs/1902.09589 (2019) - [i18]Osbert Bastani:
Safe Reinforcement Learning via Online Shielding. CoRR abs/1905.10691 (2019) - [i17]Arbaaz Khan, Chi Zhang, Shuo Li, Jiayue Wu, Brent Schlotfeldt, Sarah Y. Tang, Alejandro Ribeiro, Osbert Bastani, Vijay Kumar:
Learning Safe Unlabeled Multi-Robot Planning with Motion Constraints. CoRR abs/1907.05300 (2019) - [i16]Shuo Li, Osbert Bastani:
Robust Model Predictive Shielding for Safe Reinforcement Learning with Stochastic Dynamics. CoRR abs/1910.10885 (2019) - [i15]Wenbo Zhang, Osbert Bastani:
MAMPS: Safe Multi-Agent Reinforcement Learning via Model Predictive Shielding. CoRR abs/1910.12639 (2019) - [i14]Himabindu Lakkaraju, Osbert Bastani:
"How do I fool you?": Manipulating User Trust via Misleading Black Box Explanations. CoRR abs/1911.06473 (2019) - [i13]Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Synthesizing Queries via Interactive Sketching. CoRR abs/1912.12659 (2019) - 2018
- [c11]Osbert Bastani, Yewen Pu, Armando Solar-Lezama:
Verifiable Reinforcement Learning via Policy Extraction. NeurIPS 2018: 2499-2509 - [c10]Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig:
Program synthesis using conflict-driven learning. PLDI 2018: 420-435 - [c9]Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang:
Active learning of points-to specifications. PLDI 2018: 678-692 - [i12]Osbert Bastani, Yewen Pu, Armando Solar-Lezama:
Verifiable Reinforcement Learning via Policy Extraction. CoRR abs/1805.08328 (2018) - [i11]Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Verifying Fairness Properties via Concentration. CoRR abs/1812.02573 (2018) - 2017
- [b1]Osbert Bastani:
Beyond deductive inference in program analysis. Stanford University, USA, 2017 - [c8]Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand:
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. NDSS 2017 - [c7]Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang:
Synthesizing program input grammars. PLDI 2017: 95-110 - [i10]Osbert Bastani, Carolyn Kim, Hamsa Bastani:
Interpreting Blackbox Models via Model Extraction. CoRR abs/1705.08504 (2017) - [i9]Osbert Bastani, Carolyn Kim, Hamsa Bastani:
Interpretability via Model Extraction. CoRR abs/1706.09773 (2017) - [i8]Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang:
Active Learning of Points-To Specifications. CoRR abs/1711.03239 (2017) - [i7]Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken:
Eventually Sound Points-To Analysis with Missing Code. CoRR abs/1711.03436 (2017) - 2016
- [c6]Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi:
Measuring Neural Net Robustness with Constraints. NIPS 2016: 2613-2621 - [c5]Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken:
Minimizing GUI event traces. SIGSOFT FSE 2016: 422-434 - [i6]Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi:
Measuring Neural Net Robustness with Constraints. CoRR abs/1605.07262 (2016) - [i5]Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang:
Synthesizing Program Input Grammars. CoRR abs/1608.01723 (2016) - [i4]Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand:
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. CoRR abs/1608.06254 (2016) - 2015
- [c4]Osbert Bastani, Saswat Anand, Alex Aiken:
An interactive approach to mobile app verification. MobileDeLi 2015: 45-46 - [c3]Osbert Bastani, Saswat Anand, Alex Aiken:
Interactively verifying absence of explicit information flows in Android apps. OOPSLA 2015: 299-315 - [c2]Osbert Bastani, Saswat Anand, Alex Aiken:
Specification Inference Using Context-Free Language Reachability. POPL 2015: 553-566 - 2013
- [c1]Richard Socher, Milind Ganjoo, Hamsa Sridhar, Osbert Bastani, Christopher D. Manning, Andrew Y. Ng:
Zero-Shot Learning Through Cross-Modal Transfer. ICLR (Workshop) 2013 - [i3]Gabor Angeli, Arun Tejasvi Chaganty, Angel X. Chang, Kevin Reschke, Julie Tibshirani, Jean Wu, Osbert Bastani, Keith Siilats, Christopher D. Manning:
Stanford's 2013 KBP System. TAC 2013 - 2012
- [i2]Liangliang Xiao, Osbert Bastani, I-Ling Yen:
An Efficient Homomorphic Encryption Protocol for Multi-User Systems. IACR Cryptol. ePrint Arch. 2012: 193 (2012) - 2011
- [i1]Osbert Bastani, Christopher J. Hillar, Dimitar Popov, J. Maurice Rojas:
Randomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and Beyond. CoRR abs/1101.2642 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-03-27 20:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint