![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Osbert Bastani
Person information
- affiliation: University of Pennsylvania, PA, USA
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
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) - [c76]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. ICLR 2024 - [c75]Alexander Shypula, Aman Madaan, Yimeng Zeng, Uri Alon, Jacob R. Gardner, Yiming Yang, Milad Hashemi, Graham Neubig, Parthasarathy Ranganathan, Osbert Bastani, Amir Yazdanbakhsh:
Learning Performance-Improving Code Edits. ICLR 2024 - [c74]Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani:
PAC Prediction Sets Under Label Shift. ICLR 2024 - [c73]Abby O'Neill, Abdul Rehman, Abhiram Maddukuri, Abhishek Gupta, Abhishek Padalkar, Abraham Lee, Acorn Pooley, Agrim Gupta, Ajay Mandlekar, Ajinkya Jain, Albert Tung, Alex Bewley, Alexander Herzog, Alex Irpan, Alexander Khazatsky, Anant Rai, Anchit Gupta, Andrew Wang, Anikait Singh, Animesh Garg, Aniruddha Kembhavi, Annie Xie, Anthony Brohan, Antonin Raffin, Archit Sharma, Arefeh Yavary, Arhan Jain, Ashwin Balakrishna, Ayzaan Wahid, Ben Burgess-Limerick, Beomjoon Kim, Bernhard Schölkopf, Blake Wulfe, Brian Ichter, Cewu Lu, Charles Xu, Charlotte Le, Chelsea Finn, Chen Wang, Chenfeng Xu, Cheng Chi, Chenguang Huang, Christine Chan, Christopher Agia, Chuer Pan, Chuyuan Fu, Coline Devin, Danfei Xu, Daniel Morton, Danny Driess, Daphne Chen, Deepak Pathak, Dhruv Shah, Dieter Büchler, Dinesh Jayaraman, Dmitry Kalashnikov, Dorsa Sadigh, Edward Johns, Ethan Paul Foster, Fangchen Liu, Federico Ceola, Fei Xia, Feiyu Zhao, Freek Stulp, Gaoyue Zhou, Gaurav S. Sukhatme, Gautam Salhotra, Ge Yan, Gilbert Feng, Giulio Schiavi, Glen Berseth, Gregory Kahn, Guanzhi Wang, Hao Su, Haoshu Fang, Haochen Shi, Henghui Bao, Heni Ben Amor, Henrik I. Christensen, Hiroki Furuta, Homer Walke, Hongjie Fang, Huy Ha, Igor Mordatch, Ilija Radosavovic, Isabel Leal, Jacky Liang, Jad Abou-Chakra, Jaehyung Kim, Jaimyn Drake, Jan Peters, Jan Schneider, Jasmine Hsu, Jeannette Bohg, Jeffrey Bingham, Jeffrey Wu, Jensen Gao, Jiaheng Hu, Jiajun Wu, Jialin Wu, Jiankai Sun, Jianlan Luo, Jiayuan Gu, Jie Tan, Jihoon Oh, Jimmy Wu, Jingpei Lu, Jingyun Yang, Jitendra Malik, João Silvério, Joey Hejna, Jonathan Booher, Jonathan Tompson, Jonathan Yang, Jordi Salvador, Joseph J. Lim, Junhyek Han, Kaiyuan Wang, Kanishka Rao, Karl Pertsch, Karol Hausman, Keegan Go, Keerthana Gopalakrishnan, Ken Goldberg, Kendra Byrne, Kenneth Oslund, Kento Kawaharazuka, Kevin Black, Kevin Lin, Kevin Zhang, Kiana Ehsani, Kiran Lekkala, Kirsty Ellis, Krishan Rana, Krishnan Srinivasan, Kuan Fang, Kunal Pratap Singh, Kuo-Hao Zeng, Kyle Hatch, Kyle Hsu, Laurent Itti, Lawrence Yunliang Chen, Lerrel Pinto, Li Fei-Fei, Liam Tan, Linxi Jim Fan, Lionel Ott, Lisa Lee, Luca Weihs, Magnum Chen, Marion Lepert, Marius Memmel, Masayoshi Tomizuka, Masha Itkina, Mateo Guaman Castro, Max Spero, Maximilian Du, Michael Ahn, Michael C. Yip, Mingtong Zhang, Mingyu Ding, Minho Heo, Mohan Kumar Srirama, Mohit Sharma, Moo Jin Kim, Naoaki Kanazawa, Nicklas Hansen, Nicolas Heess, Nikhil J. Joshi, Niko Sünderhauf, Ning Liu, Norman Di Palo, Nur Muhammad (Mahi) Shafiullah, Oier Mees, Oliver Kroemer, Osbert Bastani, Pannag R. Sanketi, Patrick Tree Miller, Patrick Yin, Paul Wohlhart, Peng Xu, Peter David Fagan, Peter Mitrano, Pierre Sermanet, Pieter Abbeel, Priya Sundaresan, Qiuyu Chen, Quan Vuong, Rafael Rafailov, Ran Tian, Ria Doshi, Roberto Martín-Martín, Rohan Baijal, Rosario Scalise, Rose Hendrix, Roy Lin, Runjia Qian, Ruohan Zhang, Russell Mendonca, Rutav Shah, Ryan Hoque, Ryan Julian, Samuel Bustamante, Sean Kirmani, Sergey Levine, Shan Lin, Sherry Moore, Shikhar Bahl, Shivin Dass, Shubham D. Sonawani, Shuran Song, Sichun Xu, Siddhant Haldar, Siddharth Karamcheti, Simeon Adebola, Simon Guist, Soroush Nasiriany, Stefan Schaal, Stefan Welker, Stephen Tian, Subramanian Ramamoorthy, Sudeep Dasari, Suneel Belkhale, Sungjae Park, Suraj Nair, Suvir Mirchandani, Takayuki Osa, Tanmay Gupta, Tatsuya Harada, Tatsuya Matsushima, Ted Xiao, Thomas Kollar, Tianhe Yu, Tianli Ding, Todor Davchev, Tony Z. Zhao, Travis Armstrong, Trevor Darrell, Trinity Chung, Vidhi Jain, Vincent Vanhoucke, Wei Zhan, Wenxuan Zhou, Wolfram Burgard, Xi Chen, Xiaolong Wang, Xinghao Zhu, Xinyang Geng, Xiyuan Liu, Liangwei Xu, Xuanlin Li, Yao Lu, Yecheng Jason Ma, Yejin Kim, Yevgen Chebotar, Yifan Zhou, Yifeng Zhu, Yilin Wu, Ying Xu, Yixuan Wang, Yonatan Bisk, Yoonyoung Cho, Youngwoon Lee, Yuchen Cui, Yue Cao, Yueh-Hua Wu, Yujin Tang, Yuke Zhu, Yunchu Zhang, Yunfan Jiang, Yunshuang Li, Yunzhu Li, Yusuke Iwasawa, Yutaka Matsuo, Zehan Ma, Zhuo Xu, Zichen Jeff Cui, Zichen Zhang, Zipeng Lin:
Open X-Embodiment: Robotic Learning Datasets and RT-X Models : Open X-Embodiment Collaboration. ICRA 2024: 6892-6903 - [c72]Zichen Zhang, Yunshuang Li, Osbert Bastani, Abhishek Gupta, Dinesh Jayaraman, Yecheng Jason Ma, Luca Weihs:
Universal Visual Decomposer: Long-Horizon Manipulation Made Easy. ICRA 2024: 6973-6980 - [c71]Haosen Ge, Hamsa Bastani, Osbert Bastani:
Rethinking Fairness for Human-AI Collaboration (Extended Abstract). ITCS 2024: 52:1-52:1 - [i82]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) - [i81]Xinmeng Huang, Shuo Li, Mengxin Yu, Matteo Sesia, Hamed Hassani, Insup Lee, Osbert Bastani, Edgar Dobriban:
Uncertainty in Language Models: Assessment through Rank-Calibration. CoRR abs/2404.03163 (2024) - [i80]Kan Xu, Hamsa Bastani, Surbhi Goel, Osbert Bastani:
Stochastic Bandits with ReLU Neural Networks. CoRR abs/2405.07331 (2024) - [i79]Stephen Mell, Steve Zdancewic, Osbert Bastani:
An Opportunistically Parallel Lambda Calculus for Performant Composition of Large Language Models. CoRR abs/2405.11361 (2024) - [i78]Haosen Ge, Hamsa Bastani, Osbert Bastani:
Stochastic Online Conformal Prediction with Semi-Bandit Feedback. CoRR abs/2405.13268 (2024) - [i77]Ramya Ramalingam, Sangdon Park, Osbert Bastani:
Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction. CoRR abs/2405.15912 (2024) - [i76]Xinmeng Huang, Shuo Li, Edgar Dobriban, Osbert Bastani, Hamed Hassani, Dongsheng Ding:
One-Shot Safety Alignment for Large Language Models via Optimal Dualization. CoRR abs/2405.19544 (2024) - [i75]Yecheng Jason Ma, William Liang, Hung-Ju Wang, Sam Wang, Yuke Zhu, Linxi Fan, Osbert Bastani, Dinesh Jayaraman:
DrEureka: Language Model Guided Sim-To-Real Transfer. CoRR abs/2406.01967 (2024) - [i74]Wentao Guo, Jikai Long, Yimeng Zeng, Zirui Liu, Xinyu Yang, Yide Ran, Jacob R. Gardner, Osbert Bastani, Christopher De Sa, Xiaodong Yu, Beidi Chen, Zhaozhuo Xu:
Zeroth-Order Fine-Tuning of LLMs with Extreme Sparsity. CoRR abs/2406.02913 (2024) - [i73]Osbert Bastani:
Parameter Estimation for Generalized Low-Rank Matrix Sensing by Learning on Riemannian Manifolds. CoRR abs/2407.10238 (2024) - 2023
- [c70]Wanqiao Xu, Yecheng Jason Ma, Kan Xu, Hamsa Bastani, Osbert Bastani:
Uniformly Conservative Exploration in Reinforcement Learning. AISTATS 2023: 10856-10870 - [c69]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 - [c68]Stephen Mell
, Favyen Bastani
, Steve Zdancewic
, Osbert Bastani
:
Synthesizing Trajectory Queries from Examples. CAV (1) 2023: 459-484 - [c67]Wenwen Si, Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani:
Angelic Patches for Improving Third-Party Object Detector Performance. CVPR 2023: 24638-24647 - [c66]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 - [c65]Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur:
Robust Subtask Learning for Compositional Generalization. ICML 2023: 15371-15387 - [c64]Adam Khakhar, Stephen Mell, Osbert Bastani:
PAC Prediction Sets for Large Language Models of Code. ICML 2023: 16237-16249 - [c63]Yecheng Jason Ma, Vikash Kumar, Amy Zhang, Osbert Bastani, Dinesh Jayaraman:
LIV: Language-Image Representations and Rewards for Robotic Control. ICML 2023: 23301-23320 - [c62]Yahan Yang, Sunghye Cho, Maxine Covello, Azia Knox, Osbert Bastani, James Weimer, Edgar Dobriban, Robert T. Schultz, Insup Lee, Julia Parish-Morris:
Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism. INTERSPEECH 2023: 4603-4607 - [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 M. 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
![](https://dblp.org/img/cog.dark.24x24.png)
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-08-26 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint