Osbert Bastani

According to our database, Osbert Bastani authored at least 127 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Optimal Program Synthesis via Abstract Interpretation.

Stephen Mell, Steve Zdancewic, Osbert Bastani

Proc. ACM Program. Lang., January, 2024

Conformal Structured Prediction.

Botong Zhang, Shuo Li, Osbert Bastani

CoRR, 2024

Evidence Is All You Need: Ordering Imaging Studies via Language Model Alignment with the ACR Appropriateness Criteria.

Michael S. Yao, Allison Chae, Charles E. Kahn Jr., Walter R. Witschey, James C. Gee, Hersh Sagreiya, Osbert Bastani

CoRR, 2024

Improving Structural Diversity of Blackbox LLMs via Chain-of-Specification Prompting.

Halley Young, Yimeng Zeng, Jacob R. Gardner, Osbert Bastani

CoRR, 2024

Parameter Estimation for Generalized Low-Rank Matrix Sensing by Learning on Riemannian Manifolds.

Osbert Bastani

CoRR, 2024

Zeroth-Order Fine-Tuning of LLMs with Extreme Sparsity.

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

CoRR, 2024

DrEureka: Language Model Guided Sim-To-Real Transfer.

Yecheng Jason Ma, William Liang, Hung-Ju Wang, Sam Wang, Yuke Zhu, Linxi Fan, Osbert Bastani, Dinesh Jayaraman

CoRR, 2024

One-Shot Safety Alignment for Large Language Models via Optimal Dualization.

Xinmeng Huang, Shuo Li, Edgar Dobriban, Osbert Bastani, Hamed Hassani, Dongsheng Ding

CoRR, 2024

Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction.

Ramya Ramalingam, Sangdon Park, Osbert Bastani

CoRR, 2024

Stochastic Online Conformal Prediction with Semi-Bandit Feedback.

Haosen Ge, Hamsa Bastani, Osbert Bastani

CoRR, 2024

An Opportunistically Parallel Lambda Calculus for Performant Composition of Large Language Models.

Stephen Mell, Steve Zdancewic, Osbert Bastani

CoRR, 2024

Generative Adversarial Bayesian Optimization for Surrogate Objectives.

Michael S. Yao, Yimeng Zeng, Hamsa Bastani, Jacob R. Gardner, James C. Gee, Osbert Bastani

CoRR, 2024

TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction.

Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani

Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), 2024

Rethinking Fairness for Human-AI Collaboration (Extended Abstract).

Haosen Ge, Hamsa Bastani, Osbert Bastani

Proceedings of the 15th Innovations in Theoretical Computer Science Conference, 2024

Open X-Embodiment: Robotic Learning Datasets and RT-X Models : Open X-Embodiment Collaboration.

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

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Universal Visual Decomposer: Long-Horizon Manipulation Made Easy.

Zichen Zhang, Yunshuang Li, Osbert Bastani, Abhishek Gupta, Dinesh Jayaraman, Yecheng Jason Ma, Luca Weihs

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Stochastic Bandits with ReLU Neural Networks.

Kan Xu, Hamsa Bastani, Surbhi Goel, Osbert Bastani

Proceedings of the Forty-first International Conference on Machine Learning, 2024

PAC Prediction Sets Under Label Shift.

Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Learning Performance-Improving Code Edits.

Alexander Shypula, Aman Madaan, Yimeng Zeng, Uri Alon, Jacob R. Gardner, Yiming Yang, Milad Hashemi, Graham Neubig, Parthasarathy Ranganathan, Osbert Bastani, Amir Yazdanbakhsh

Proceedings of the Twelfth International Conference on Learning Representations, 2024

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

Yecheng Jason Ma, William Liang, Guanzhi Wang, De-An Huang, Osbert Bastani, Dinesh Jayaraman, Yuke Zhu, Linxi Fan, Anima Anandkumar

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Uncertainty in Language Models: Assessment through Rank-Calibration.

Xinmeng Huang, Shuo Li, Mengxin Yu, Matteo Sesia, Hamed Hassani, Insup Lee, Osbert Bastani, Edgar Dobriban

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

2023

Rethinking Fairness for Human-AI Collaboration.

Haosen Ge, Hamsa Bastani, Osbert Bastani

CoRR, 2023

TRAC: Trustworthy Retrieval Augmented Chatbot.

Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani

CoRR, 2023

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

Yecheng Jason Ma, William Liang, Vaidehi Som, Vikash Kumar, Amy Zhang, Osbert Bastani, Dinesh Jayaraman

CoRR, 2023

Inverse Protein Folding Using Deep Bayesian Optimization.

Natalie Maus, Yimeng Zeng, Daniel Allen Anderson, Phillip M. Maffettone, Aaron Solomon, Peyton Greenside, Osbert Bastani, Jacob R. Gardner

CoRR, 2023

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

Yecheng Jason Ma, Kausik Sivakumar, Jason Yan, Osbert Bastani, Dinesh Jayaraman

CoRR, 2023

SPARLING: Learning Latent Representations with Extremely Sparse Activations.

Kavi Gupta, Osbert Bastani, Armando Solar-Lezama

CoRR, 2023

ACon²: Adaptive Conformal Consensus for Provable Blockchain Oracles.

Sangdon Park, Osbert Bastani, Taesoo Kim

Proceedings of the 32nd USENIX Security Symposium, 2023

Learning Policy-Aware Models for Model-Based Reinforcement Learning via Transition Occupancy Matching.

Yecheng Jason Ma, Kausik Sivakumar, Jason Yan, Osbert Bastani, Dinesh Jayaraman

Proceedings of the Learning for Dynamics and Control Conference, 2023

Fast and Reliable Program Synthesis via User Interaction.

Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism.

Yahan Yang, Sunghye Cho, Maxine Covello, Azia Knox, Osbert Bastani, James Weimer, Edgar Dobriban, Robert T. Schultz, Insup Lee, Julia Parish-Morris

Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023

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

Yecheng Jason Ma, Vikash Kumar, Amy Zhang, Osbert Bastani, Dinesh Jayaraman

Proceedings of the International Conference on Machine Learning, 2023

PAC Prediction Sets for Large Language Models of Code.

Adam Khakhar, Stephen Mell, Osbert Bastani

Proceedings of the International Conference on Machine Learning, 2023

Robust Subtask Learning for Compositional Generalization.

Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur

Proceedings of the International Conference on Machine Learning, 2023

VIP: Towards Universal Visual Reward and Representation via Value-Implicit Pre-Training.

Yecheng Jason Ma, Shagun Sodhani, Dinesh Jayaraman, Osbert Bastani, Vikash Kumar, Amy Zhang

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Angelic Patches for Improving Third-Party Object Detector Performance.

Wenwen Si, Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Synthesizing Trajectory Queries from Examples.

Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Policy Synthesis and Reinforcement Learning for Discounted LTL.

Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Uniformly Conservative Exploration in Reinforcement Learning.

Wanqiao Xu, Yecheng Jason Ma, Kan Xu, Hamsa Bastani, Osbert Bastani

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

2022

Ideograph: A Language for Expressing and Manipulating Structured Data.

Stephen Mell, Osbert Bastani, Steve Zdancewic

Proceedings of the Proceedings Twelfth International Workshop on Computing with Terms and Graphs, 2022

Decision-Aware Learning for Optimizing Health Supply Chains.

Tsai-Hsuan Chung, Vahid Rostami, Hamsa Bastani, Osbert Bastani

CoRR, 2022

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

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

CoRR, 2022

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

Yecheng Jason Ma, Jason Yan, Dinesh Jayaraman, Osbert Bastani

CoRR, 2022

Towards PAC Multi-Object Detection and Tracking.

Shuo Li, Sangdon Park, Xiayan Ji, Insup Lee, Osbert Bastani

CoRR, 2022

SMODICE: Versatile Offline Imitation Learning via State Occupancy Matching.

Yecheng Jason Ma, Andrew Shen, Dinesh Jayaraman, Osbert Bastani

CoRR, 2022

Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints.

Halley Young, Maxwell Du, Osbert Bastani

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Offline Goal-Conditioned Reinforcement Learning via $f$-Advantage Regression.

Yecheng Jason Ma, Jason Yan, Dinesh Jayaraman, Osbert Bastani

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Regret Bounds for Risk-Sensitive Reinforcement Learning.

Osbert Bastani, Yecheng Jason Ma, Estelle Shen, Wanqiao Xu

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Practical Adversarial Multivalid Conformal Prediction.

Osbert Bastani, Varun Gupta, Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

PAC Prediction Sets for Meta-Learning.

Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Versatile Offline Imitation from Observations and Examples via Regularized State-Occupancy Matching.

Yecheng Jason Ma, Andrew Shen, Dinesh Jayaraman, Osbert Bastani

Proceedings of the International Conference on Machine Learning, 2022

Sequential Covariate Shift Detection Using Classifier Two-Sample Tests.

Sooyong Jang, Sangdon Park, Insup Lee, Osbert Bastani

Proceedings of the International Conference on Machine Learning, 2022

Understanding Robust Generalization in Learning Regular Languages.

Soham Dan, Osbert Bastani, Dan Roth

Proceedings of the International Conference on Machine Learning, 2022

PAC Prediction Sets Under Covariate Shift.

Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani

Proceedings of the Tenth International Conference on Learning Representations, 2022

Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates.

Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris

Proceedings of the Conference on Robot Learning, 2022

Specification-Guided Learning of Nash Equilibria with High Social Welfare.

Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

A Framework for Transforming Specifications in Reinforcement Learning.

Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan

Proceedings of the Principles of Systems Design, 2022

Counterfactual Explanations for Natural Language Interfaces.

George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2022

Conservative and Adaptive Penalty for Model-Based Safe Reinforcement Learning.

Yecheng Jason Ma, Andrew Shen, Osbert Bastani, Dinesh Jayaraman

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Compositional Learning and Verification of Neural Network Controllers.

Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani

ACM Trans. Embed. Comput. Syst., 2021

Safely Bridging Offline and Online Reinforcement Learning.

Wanqiao Xu, Kan Xu, Hamsa Bastani, Osbert Bastani

CoRR, 2021

Safe Human-Interactive Control via Shielding.

Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama

CoRR, 2021

Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching.

Osbert Bastani

CoRR, 2021

Robust Generalization of Quadratic Neural Networks via Function Identification.

Kan Xu, Hamsa Bastani, Osbert Bastani

CoRR, 2021

Improving Human Decision-Making with Machine Learning.

Hamsa Bastani, Osbert Bastani, Wichinpong Park Sinchaisri

CoRR, 2021

SkyQuery: An Aerial Drone Video Sensing Platform.

Favyen Bastani, Songtao He, Ziwen Jiang, Osbert Bastani, Michael J. Cafarella, Tim Kraska, Sam Madden

CoRR, 2021

Program Synthesis Guided Reinforcement Learning.

Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard

CoRR, 2021

Safe Reinforcement Learning via Statistical Model Predictive Shielding.

Osbert Bastani, Shuo Li

Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Web question answering with neurosymbolic program synthesis.

Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

SkyQuery: an aerial drone video sensing platform.

Favyen Bastani, Songtao He, Ziwen Jiang, Osbert Bastani, Sam Madden

Proceedings of the Onward! 2021: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, 2021

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments.

Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Learning Models for Actionable Recourse.

Alexis Ross, Himabindu Lakkaraju, Osbert Bastani

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Conservative Offline Distributional Reinforcement Learning.

Yecheng Jason Ma, Dinesh Jayaraman, Osbert Bastani

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Compositional Reinforcement Learning from Logical Specifications.

Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Group-Sparse Matrix Factorization for Transfer Learning of Word Embeddings.

Kan Xu, Xuanyi Zhao, Hamsa Bastani, Osbert Bastani

Proceedings of the 38th International Conference on Machine Learning, 2021

PAC Confidence Predictions for Deep Neural Network Classifiers.

Sangdon Park, Shuo Li, Insup Lee, Osbert Bastani

Proceedings of the 9th International Conference on Learning Representations, 2021

Likelihood-Based Diverse Sampling for Trajectory Forecasting.

Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Few-Shot Novel Concept Learning for Semantic Parsing.

Soham Dan, Osbert Bastani, Dan Roth

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

Safe Reinforcement Learning with Nonlinear Dynamics via Model Predictive Shielding.

Osbert Bastani

Proceedings of the 2021 American Control Conference, 2021

Algorithms for Fairness in Sequential Decision Making.

Min Wen, Osbert Bastani, Ufuk Topcu

Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

Abstract Value Iteration for Hierarchical Reinforcement Learning.

Kishor Jothimurugan, Osbert Bastani, Rajeev Alur

Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

2020

Diverse Sampling for Normalizing Flow Based Trajectory Forecasting.

Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani

CoRR, 2020

Ensuring Actionable Recourse via Adversarial Training.

Alexis Ross, Himabindu Lakkaraju, Osbert Bastani

CoRR, 2020

Neurosymbolic Transformers for Multi-Agent Communication.

Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Robust Model Predictive Shielding for Safe Reinforcement Learning with Stochastic Dynamics.

Shuo Li, Osbert Bastani

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Robust and Stable Black Box Explanations.

Himabindu Lakkaraju, Nino Arsov, Osbert Bastani

Proceedings of the 37th International Conference on Machine Learning, 2020

Generating Programmatic Referring Expressions via Program Synthesis.

Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik

Proceedings of the 37th International Conference on Machine Learning, 2020

Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis.

Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama

Proceedings of the xxAI - Beyond Explainable AI, 2020

PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction.

Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee

Proceedings of the 8th International Conference on Learning Representations, 2020

Synthesizing Programmatic Policies that Inductively Generalize.

Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama

Proceedings of the 8th International Conference on Learning Representations, 2020

Program Synthesis Using Deduction-Guided Reinforcement Learning.

Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation.

Sangdon Park, Osbert Bastani, James Weimer, Insup Lee

Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

Sample Complexity of Estimating the Policy Gradient for Nearly Deterministic Dynamical Systems.

Osbert Bastani

Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

"How do I fool you?": Manipulating User Trust via Misleading Black Box Explanations.

Himabindu Lakkaraju, Osbert Bastani

Proceedings of the AIES '20: AAAI/ACM Conference on AI, 2020

2019

Relational verification using reinforcement learning.

Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig

Proc. ACM Program. Lang., 2019

Probabilistic verification of fairness properties via concentration.

Osbert Bastani, Xin Zhang, Armando Solar-Lezama

Proc. ACM Program. Lang., 2019

Synthesizing Queries via Interactive Sketching.

Osbert Bastani, Xin Zhang, Armando Solar-Lezama

CoRR, 2019

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

Wenbo Zhang, Osbert Bastani

CoRR, 2019

Safe Reinforcement Learning via Online Shielding.

Osbert Bastani

CoRR, 2019

PolyDroid: Learning-Driven Specialization of Mobile Applications.

Brian Heath, Neelay Velingker, Osbert Bastani, Mayur Naik

CoRR, 2019

Learning Interpretable Models with Causal Guarantees.

Carolyn Kim, Osbert Bastani

CoRR, 2019

Fairness with Dynamics.

Min Wen, Osbert Bastani, Ufuk Topcu

CoRR, 2019

REINAM: reinforcement learning for input-grammar inference.

Zhengkai Wu, Evan Johnson, Wei Yang, Osbert Bastani, Dawn Song, Jian Peng, Tao Xie

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

A Composable Specification Language for Reinforcement Learning Tasks.

Kishor Jothimurugan, Rajeev Alur, Osbert Bastani

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Learning Safe Unlabeled Multi-Robot Planning with Motion Constraints.

Arbaaz Khan, Chi Zhang, Shuo Li, Jiayue Wu, Brent Schlotfeldt, Sarah Y. Tang, Alejandro Ribeiro, Osbert Bastani, Vijay Kumar

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Learning Neurosymbolic Generative Models via Program Synthesis.

Halley Young, Osbert Bastani, Mayur Naik

Proceedings of the 36th International Conference on Machine Learning, 2019

Eventually Sound Points-To Analysis with Specifications.

Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Polytopic Trees for Verification of Learning-Based Controllers.

Sadra Sadraddini, Shen Shen, Osbert Bastani

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2018

Verifying Fairness Properties via Concentration.

Osbert Bastani, Xin Zhang, Armando Solar-Lezama

CoRR, 2018

Program synthesis using conflict-driven learning.

Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Active learning of points-to specifications.

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Verifiable Reinforcement Learning via Policy Extraction.

Osbert Bastani, Yewen Pu, Armando Solar-Lezama

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017

Beyond deductive inference in program analysis.

Osbert Bastani

PhD thesis, 2017

Eventually Sound Points-To Analysis with Missing Code.

Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken

CoRR, 2017

Interpretability via Model Extraction.

Osbert Bastani, Carolyn Kim, Hamsa Bastani

CoRR, 2017

Interpreting Blackbox Models via Model Extraction.

Osbert Bastani, Carolyn Kim, Hamsa Bastani

CoRR, 2017

Synthesizing program input grammars.

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.

Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

2016

Minimizing GUI event traces.

Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Measuring Neural Net Robustness with Constraints.

Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

2015

Specification Inference Using Context-Free Language Reachability.

Osbert Bastani, Saswat Anand, Alex Aiken

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

An interactive approach to mobile app verification.

Osbert Bastani, Saswat Anand, Alex Aiken

Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Interactively verifying absence of explicit information flows in Android apps.

Osbert Bastani, Saswat Anand, Alex Aiken

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2013

Zero-Shot Learning Through Cross-Modal Transfer

Richard Socher, Milind Ganjoo, Hamsa Sridhar, Osbert Bastani, Christopher D. Manning, Andrew Y. Ng

Proceedings of the 1st International Conference on Learning Representations, 2013

Stanford's 2013 KBP System.

Gabor Angeli, Arun Tejasvi Chaganty, Angel X. Chang, Kevin Reschke, Julie Tibshirani, Jean Wu, Osbert Bastani, Keith Siilats, Christopher D. Manning

Proceedings of the Sixth Text Analysis Conference, 2013

2012

An Efficient Homomorphic Encryption Protocol for Multi-User Systems.

Liangliang Xiao, Osbert Bastani, I-Ling Yen

IACR Cryptol. ePrint Arch., 2012

2011

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

Osbert Bastani, Christopher J. Hillar, Dimitar Popov, J. Maurice Rojas

CoRR, 2011