Osbert Bastani

ORCID

Publication Activity (10 Years)

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

Top Venues

Publications

Kan Xu, Hamsa Bastani, Surbhi Goel, Osbert Bastani
Stochastic Bandits with ReLU Neural Networks. CoRR (2024)
Ramya Ramalingam, Sangdon Park, Osbert Bastani
Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction. CoRR (2024)
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 (2024)
Haosen Ge, Hamsa Bastani, Osbert Bastani
Stochastic Online Conformal Prediction with Semi-Bandit Feedback. CoRR (2024)
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 (2024)
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)
Michael S. Yao, Yimeng Zeng, Hamsa Bastani, Jacob R. Gardner, James C. Gee, Osbert Bastani
Generative Adversarial Bayesian Optimization for Surrogate Objectives. CoRR (2024)
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)
Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani
PAC Prediction Sets Under Label Shift. ICLR (2024)
Xinmeng Huang, Shuo Li, Edgar Dobriban, Osbert Bastani, Hamed Hassani, Dongsheng Ding
One-Shot Safety Alignment for Large Language Models via Optimal Dualization. CoRR (2024)
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)
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 (2024)
Stephen Mell, Steve Zdancewic, Osbert Bastani
Optimal Program Synthesis via Abstract Interpretation. Proc. ACM Program. Lang. 8 (POPL) (2024)
Haosen Ge, Hamsa Bastani, Osbert Bastani
Rethinking Fairness for Human-AI Collaboration (Extended Abstract). ITCS (2024)
Osbert Bastani
Parameter Estimation for Generalized Low-Rank Matrix Sensing by Learning on Riemannian Manifolds. CoRR (2024)
Stephen Mell, Steve Zdancewic, Osbert Bastani
An Opportunistically Parallel Lambda Calculus for Performant Composition of Large Language Models. CoRR (2024)
Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction. NAACL-HLT (2024)
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)
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 (2023)
Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur
Robust Subtask Learning for Compositional Generalization. CoRR (2023)
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) (2023)
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 (2023)
Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
TRAC: Trustworthy Retrieval Augmented Chatbot. CoRR (2023)
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)
Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani
PAC Prediction Sets Under Label Shift. CoRR (2023)
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 (2023)
Sangdon Park, Osbert Bastani, Taesoo Kim
: Adaptive Conformal Consensus for Provable Blockchain Oracles. USENIX Security Symposium (2023)
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Policy Synthesis and Reinforcement Learning for Discounted LTL. CoRR (2023)
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)
Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng
Fast and Reliable Program Synthesis via User Interaction. ASE (2023)
Wenwen Si, Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
Angelic Patches for Improving Third-Party Object Detector Performance. CVPR (2023)
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)
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 (2023)
Zichen Zhang, Yunshuang Li, Osbert Bastani, Abhishek Gupta, Dinesh Jayaraman, Yecheng Jason Ma, Luca Weihs
Universal Visual Decomposer: Long-Horizon Manipulation Made Easy. CoRR (2023)
Yecheng Jason Ma, Vikash Kumar, Amy Zhang, Osbert Bastani, Dinesh Jayaraman
LIV: Language-Image Representations and Rewards for Robotic Control. ICML (2023)
Kavi Gupta, Osbert Bastani, Armando Solar-Lezama
SPARLING: Learning Latent Representations with Extremely Sparse Activations. CoRR (2023)
Adam Khakhar, Stephen Mell, Osbert Bastani
PAC Prediction Sets for Large Language Models of Code. ICML (2023)
Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani
Synthesizing Trajectory Queries from Examples. CAV (1) (2023)
Haosen Ge, Hamsa Bastani, Osbert Bastani
Rethinking Fairness for Human-AI Collaboration. CoRR (2023)
Stephen Mell, Osbert Bastani, Steve Zdancewic
Ideograph: A Language for Expressing and Manipulating Structured Data. CoRR (2023)
Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur
Robust Subtask Learning for Compositional Generalization. ICML (2023)
Wanqiao Xu, Yecheng Jason Ma, Kan Xu, Hamsa Bastani, Osbert Bastani
Uniformly Conservative Exploration in Reinforcement Learning. AISTATS (2023)
Adam Khakhar, Stephen Mell, Osbert Bastani
PAC Prediction Sets for Large Language Models of Code. CoRR (2023)
Osbert Bastani, Yecheng Jason Ma, Estelle Shen, Wanqiao Xu
Regret Bounds for Risk-Sensitive Reinforcement Learning. NeurIPS (2022)
Tsai-Hsuan Chung, Vahid Rostami, Hamsa Bastani, Osbert Bastani
Decision-Aware Learning for Optimizing Health Supply Chains. CoRR (2022)
Osbert Bastani, Varun Gupta, Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth
Practical Adversarial Multivalid Conformal Prediction. CoRR (2022)
Yecheng Jason Ma, Jason Yan, Dinesh Jayaraman, Osbert Bastani
How Far I'll Go: Offline Goal-Conditioned Reinforcement Learning via f-Advantage Regression. CoRR (2022)
Osbert Bastani, Yecheng Jason Ma, Estelle Shen, Wanqiao Xu
Regret Bounds for Risk-Sensitive Reinforcement Learning. CoRR (2022)
Shuo Li, Sangdon Park, Xiayan Ji, Insup Lee, Osbert Bastani
Towards PAC Multi-Object Detection and Tracking. CoRR (2022)
George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani
Counterfactual Explanations for Natural Language Interfaces. ACL (2) (2022)
Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
PAC Prediction Sets for Meta-Learning. NeurIPS (2022)
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 (2022)
Yecheng Jason Ma, Andrew Shen, Osbert Bastani, Dinesh Jayaraman
Conservative and Adaptive Penalty for Model-Based Safe Reinforcement Learning. AAAI (2022)
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)
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 (2022)
Halley Young, Maxwell Du, Osbert Bastani
Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints. NeurIPS (2022)
George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani
Counterfactual Explanations for Natural Language Interfaces. CoRR (2022)
Sangdon Park, Osbert Bastani, Taesoo Kim
: Adaptive Conformal Consensus for Provable Blockchain Oracles. CoRR (2022)
Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
PAC Prediction Sets Under Covariate Shift. ICLR (2022)
Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
A Framework for Transforming Specifications in Reinforcement Learning. Principles of Systems Design (2022)
Yecheng Jason Ma, Jason Yan, Dinesh Jayaraman, Osbert Bastani
Offline Goal-Conditioned Reinforcement Learning via $f$-Advantage Regression. NeurIPS (2022)
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 (2022)
Yecheng Jason Ma, Andrew Shen, Dinesh Jayaraman, Osbert Bastani
SMODICE: Versatile Offline Imitation Learning via State Occupancy Matching. CoRR (2022)
Osbert Bastani, Varun Gupta, Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth
Practical Adversarial Multivalid Conformal Prediction. NeurIPS (2022)
Sooyong Jang, Sangdon Park, Insup Lee, Osbert Bastani
Sequential Covariate Shift Detection Using Classifier Two-Sample Tests. ICML (2022)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Specification-Guided Learning of Nash Equilibria with High Social Welfare. CAV (2) (2022)
Soham Dan, Osbert Bastani, Dan Roth
Understanding Robust Generalization in Learning Regular Languages. CoRR (2022)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Specification-Guided Learning of Nash Equilibria with High Social Welfare. CoRR (2022)
Soham Dan, Osbert Bastani, Dan Roth
Understanding Robust Generalization in Learning Regular Languages. ICML (2022)
Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
PAC Prediction Sets for Meta-Learning. CoRR (2022)
Yecheng Jason Ma, Andrew Shen, Dinesh Jayaraman, Osbert Bastani
Versatile Offline Imitation from Observations and Examples via Regularized State-Occupancy Matching. ICML (2022)
Yecheng Jason Ma, Andrew Shen, Osbert Bastani, Dinesh Jayaraman
Conservative and Adaptive Penalty for Model-Based Safe Reinforcement Learning. CoRR (2021)
Sangdon Park, Shuo Li, Insup Lee, Osbert Bastani
PAC Confidence Predictions for Deep Neural Network Classifiers. ICLR (2021)
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) (2021)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Compositional Reinforcement Learning from Logical Specifications. CoRR (2021)
Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama
Safe Human-Interactive Control via Shielding. CoRR (2021)
Kishor Jothimurugan, Osbert Bastani, Rajeev Alur
Abstract Value Iteration for Hierarchical Reinforcement Learning. AISTATS (2021)
Favyen Bastani, Songtao He, Ziwen Jiang, Osbert Bastani, Sam Madden
SkyQuery: an aerial drone video sensing platform. Onward! (2021)
Yecheng Jason Ma, Dinesh Jayaraman, Osbert Bastani
Conservative Offline Distributional Reinforcement Learning. NeurIPS (2021)
Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
PAC Prediction Sets Under Covariate Shift. CoRR (2021)
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
Web question answering with neurosymbolic program synthesis. PLDI (2021)
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard
Program Synthesis Guided Reinforcement Learning. CoRR (2021)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Compositional Reinforcement Learning from Logical Specifications. NeurIPS (2021)
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama
Neurosymbolic Transformers for Multi-Agent Communication. CoRR (2021)
Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani
Likelihood-Based Diverse Sampling for Trajectory Forecasting. ICCV (2021)
Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
A Framework for Transforming Specifications in Reinforcement Learning. CoRR (2021)
Osbert Bastani
Safe Reinforcement Learning with Nonlinear Dynamics via Model Predictive Shielding. ACC (2021)
Kan Xu, Hamsa Bastani, Osbert Bastani
Robust Generalization of Quadratic Neural Networks via Function Identification. CoRR (2021)
Soham Dan, Osbert Bastani, Dan Roth
Few-Shot Novel Concept Learning for Semantic Parsing. EMNLP (Findings) (2021)
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
Web Question Answering with Neurosymbolic Program Synthesis. CoRR (2021)
Yecheng Jason Ma, Dinesh Jayaraman, Osbert Bastani
Conservative Offline Distributional Reinforcement Learning. CoRR (2021)
Kan Xu, Xuanyi Zhao, Hamsa Bastani, Osbert Bastani
Group-Sparse Matrix Factorization for Transfer Learning of Word Embeddings. CoRR (2021)
Osbert Bastani
Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching. CoRR (2021)
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)
Osbert Bastani, Shuo Li
Safe Reinforcement Learning via Statistical Model Predictive Shielding. Robotics: Science and Systems (2021)
Kan Xu, Xuanyi Zhao, Hamsa Bastani, Osbert Bastani
Group-Sparse Matrix Factorization for Transfer Learning of Word Embeddings. ICML (2021)
Min Wen, Osbert Bastani, Ufuk Topcu
Algorithms for Fairness in Sequential Decision Making. AISTATS (2021)
Favyen Bastani, Songtao He, Ziwen Jiang, Osbert Bastani, Michael J. Cafarella, Tim Kraska, Sam Madden
SkyQuery: An Aerial Drone Video Sensing Platform. CoRR (2021)
Alexis Ross, Himabindu Lakkaraju, Osbert Bastani
Learning Models for Actionable Recourse. NeurIPS (2021)
Hamsa Bastani, Osbert Bastani, Wichinpong Park Sinchaisri
Improving Human Decision-Making with Machine Learning. CoRR (2021)

Osbert Bastani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Osbert Bastani