Osbert Bastani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
63
Venues
20
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
63 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Conformal Constrained Policy Optimization for Cost-Effective LLM Agents. | Wenwen Si, Sooyong Jang, Insup Lee, Osbert Bastani |
| 2026 | ACL | LLM Program Optimization via Retrieval Augmented Search. | Sagnik Anupam, Alexander Shypula, Osbert Bastani |
| 2025 | ICLR | Zeroth-Order Fine-Tuning of LLMs with Transferable Static 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 |
| 2025 | ICLR | Vision Language Models are In-Context Value Learners. | Yecheng Jason Ma, Joey Hejna, Chuyuan Fu, Dhruv Shah, Jacky Liang, Zhuo Xu, Sean Kirmani, Peng Xu, Danny Driess, Ted Xiao, Osbert Bastani, Dinesh Jayaraman, Wenhao Yu, Tingnan Zhang, Dorsa Sadigh, Fei Xia |
| 2025 | ICLR | Conformal Structured Prediction. | Botong Zhang, Shuo Li, Osbert Bastani |
| 2025 | ICML | Stochastic Online Conformal Prediction with Semi-Bandit Feedback. | Haosen Ge, Hamsa Bastani, Osbert Bastani |
| 2025 | ICML | Diversity By Design: Leveraging Distribution Matching for Offline Model-Based Optimization. | Michael S. Yao, James C. Gee, Osbert Bastani |
| 2024 | CoRL | Environment Curriculum Generation via Large Language Models. | William Liang, Sam Wang, Hung-Ju Wang, Osbert Bastani, Dinesh Jayaraman, Yecheng Jason Ma |
| 2024 | EMNLP | Uncertainty in Language Models: Assessment through Rank-Calibration. | Xinmeng Huang, Shuo Li, Mengxin Yu, Matteo Sesia, Hamed Hassani, Insup Lee, Osbert Bastani, Edgar Dobriban |
| 2024 | ICLR | 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 |
| 2024 | ICLR | 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 |
| 2024 | ICLR | PAC Prediction Sets Under Label Shift. | Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani |
| 2024 | ICML | Stochastic Bandits with ReLU Neural Networks. | Kan Xu, Hamsa Bastani, Surbhi Goel, Osbert Bastani |
| 2024 | ICRA | Universal Visual Decomposer: Long-Horizon Manipulation Made Easy. | Zichen Zhang, Yunshuang Li, Osbert Bastani, Abhishek Gupta, Dinesh Jayaraman, Yecheng Jason Ma, Luca Weihs |
| 2024 | ICRA | 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 E. 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 Schlkopf, 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 Bchler, 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 T. 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, Joo Silvrio, 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 Snderhauf, 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 Martn-Martn, Rohan Baijal, Rosario Scalise, Rose Hendrix, Roy Lin, Runjia Qian, Ruohan Zhang, Russell Mendonca, Rutav Shah, Ryan Hoque, Ryan Julian, Samuel Bustamante-Gomez, 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 |
| 2024 | NAACL | TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction. | Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani |
| 2023 | AISTATS | Uniformly Conservative Exploration in Reinforcement Learning. | Wanqiao Xu, Yecheng Jason Ma, Kan Xu, Hamsa Bastani, Osbert Bastani |
| 2023 | CAV | Policy Synthesis and Reinforcement Learning for Discounted LTL. | Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi |
| 2023 | CAV | Synthesizing Trajectory Queries from Examples. | Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani |
| 2023 | CVPR | Angelic Patches for Improving Third-Party Object Detector Performance. | Wenwen Si, Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani |
| 2023 | ICLR | 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 |
| 2023 | ICML | Robust Subtask Learning for Compositional Generalization. | Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur |
| 2023 | ICML | PAC Prediction Sets for Large Language Models of Code. | Adam Khakhar, Stephen Mell, Osbert Bastani |
| 2023 | ICML | LIV: Language-Image Representations and Rewards for Robotic Control. | Yecheng Jason Ma, Vikash Kumar, Amy Zhang, Osbert Bastani, Dinesh Jayaraman |
| 2023 | Interspeech | 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 |
| 2022 | AAAI | Conservative and Adaptive Penalty for Model-Based Safe Reinforcement Learning. | Yecheng Jason Ma, Andrew Shen, Osbert Bastani, Dinesh Jayaraman |
| 2022 | ACL | Counterfactual Explanations for Natural Language Interfaces. | George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani |
| 2022 | CAV | Specification-Guided Learning of Nash Equilibria with High Social Welfare. | Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur |
| 2022 | CoRL | 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 |
| 2022 | ICLR | PAC Prediction Sets Under Covariate Shift. | Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani |
| 2022 | ICML | Understanding Robust Generalization in Learning Regular Languages. | Soham Dan, Osbert Bastani, Dan Roth |
| 2022 | ICML | Sequential Covariate Shift Detection Using Classifier Two-Sample Tests. | Sooyong Jang, Sangdon Park, Insup Lee, Osbert Bastani |
| 2022 | ICML | Versatile Offline Imitation from Observations and Examples via Regularized State-Occupancy Matching. | Yecheng Jason Ma, Andrew Shen, Dinesh Jayaraman, Osbert Bastani |
| 2021 | AISTATS | Abstract Value Iteration for Hierarchical Reinforcement Learning. | Kishor Jothimurugan, Osbert Bastani, Rajeev Alur |
| 2021 | AISTATS | Algorithms for Fairness in Sequential Decision Making. | Min Wen, Osbert Bastani, Ufuk Topcu |
| 2021 | EMNLP | Few-Shot Novel Concept Learning for Semantic Parsing. | Soham Dan, Osbert Bastani, Dan Roth |
| 2021 | ICCV | Likelihood-Based Diverse Sampling for Trajectory Forecasting. | Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani |
| 2021 | ICLR | PAC Confidence Predictions for Deep Neural Network Classifiers. | Sangdon Park, Shuo Li, Insup Lee, Osbert Bastani |
| 2021 | ICML | Group-Sparse Matrix Factorization for Transfer Learning of Word Embeddings. | Kan Xu, Xuanyi Zhao, Hamsa Bastani, Osbert Bastani |
| 2021 | OOPSLA | SkyQuery: an aerial drone video sensing platform. | Favyen Bastani, Songtao He, Ziwen Jiang, Osbert Bastani, Sam Madden |
| 2021 | PLDI | Web question answering with neurosymbolic program synthesis. | Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig |
| 2020 | AIES | "How do I fool you?": Manipulating User Trust via Misleading Black Box Explanations. | Himabindu Lakkaraju, Osbert Bastani |
| 2020 | AISTATS | Sample Complexity of Estimating the Policy Gradient for Nearly Deterministic Dynamical Systems. | Osbert Bastani |
| 2020 | AISTATS | Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. | Sangdon Park, Osbert Bastani, James Weimer, Insup Lee |
| 2020 | CAV | Program Synthesis Using Deduction-Guided Reinforcement Learning. | Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng |
| 2020 | ICLR | Synthesizing Programmatic Policies that Inductively Generalize. | Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama |
| 2020 | ICLR | PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. | Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee |
| 2020 | ICML | Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis. | Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama |
| 2020 | ICML | Generating Programmatic Referring Expressions via Program Synthesis. | Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik |
| 2020 | ICML | Robust and Stable Black Box Explanations. | Himabindu Lakkaraju, Nino Arsov, Osbert Bastani |
| 2020 | ICRA | Robust Model Predictive Shielding for Safe Reinforcement Learning with Stochastic Dynamics. | Shuo Li, Osbert Bastani |
| 2019 | CAV | Polytopic Trees for Verification of Learning-Based Controllers. | Sadra Sadraddini, Shen Shen, Osbert Bastani |
| 2019 | ECOOP | Eventually Sound Points-To Analysis with Specifications. | Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken |
| 2019 | ICLR | Learning Neurosymbolic Generative Models via Program synthesis. | Halley Young, Osbert Bastani, Mayur Naik |
| 2019 | ICML | Learning Neurosymbolic Generative Models via Program Synthesis. | Halley Young, Osbert Bastani, Mayur Naik |
| 2019 | IROS | 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 |
| 2018 | PLDI | Active learning of points-to specifications. | Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang |
| 2018 | PLDI | Program synthesis using conflict-driven learning. | Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig |
| 2017 | NDSS | Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. | Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand |
| 2017 | PLDI | Synthesizing program input grammars. | Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang |
| 2015 | OOPSLA | Interactively verifying absence of explicit information flows in Android apps. | Osbert Bastani, Saswat Anand, Alex Aiken |
| 2015 | OOPSLA | An interactive approach to mobile app verification. | Osbert Bastani, Saswat Anand, Alex Aiken |
| 2015 | POPL | Specification Inference Using Context-Free Language Reachability. | Osbert Bastani, Saswat Anand, Alex Aiken |