default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOsbert 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
showing all ?? records
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)- [c78]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 - [c77]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 - [c76]Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani:
PAC Prediction Sets Under Label Shift. ICLR 2024 - [c75]Kan Xu, Hamsa Bastani, Surbhi Goel, Osbert Bastani:
Stochastic Bandits with ReLU Neural Networks. ICML 2024 - [c74]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 - [c73]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 - [c72]Haosen Ge, Hamsa Bastani, Osbert Bastani:
Rethinking Fairness for Human-AI Collaboration (Extended Abstract). ITCS 2024: 52:1-52:1 - [c71]Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani:
TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction. NAACL-HLT 2024: 3799-3821 - [i83]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) - [i82]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) - [i81]Kan Xu, Hamsa Bastani, Surbhi Goel, Osbert Bastani:
Stochastic Bandits with ReLU Neural Networks. CoRR abs/2405.07331 (2024) - [i80]Stephen Mell, Steve Zdancewic, Osbert Bastani:
An Opportunistically Parallel Lambda Calculus for Performant Composition of Large Language Models. CoRR abs/2405.11361 (2024) - [i79]Haosen Ge, Hamsa Bastani, Osbert Bastani:
Stochastic Online Conformal Prediction with Semi-Bandit Feedback. CoRR abs/2405.13268 (2024) - [i78]Ramya Ramalingam, Sangdon Park, Osbert Bastani:
Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction. CoRR abs/2405.15912 (2024) - [i77]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) - [i76]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) - [i75]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) - [i74]Osbert Bastani:
Parameter Estimation for Generalized Low-Rank Matrix Sensing by Learning on Riemannian Manifolds. CoRR abs/2407.10238 (2024) - [i73]Halley Young, Yimeng Zeng, Jacob R. Gardner, Osbert Bastani:
Improving Structural Diversity of Blackbox LLMs via Chain-of-Specification Prompting. CoRR abs/2408.06186 (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]