Osbert Bastani
University of Pennsylvania
H-index: 31
North America-United States
Top articles of Osbert Bastani
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Optimal Program Synthesis via Abstract Interpretation | Proceedings of the ACM on Programming Languages | Stephen Mell Steve Zdancewic Osbert Bastani | 2024/1/5 |
Uncertainty in Language Models: Assessment through Rank-Calibration | arXiv preprint arXiv:2404.03163 | Xinmeng Huang Shuo Li Mengxin Yu Matteo Sesia Hamed Hassani | 2024/4/4 |
DROID: A Large-Scale In-The-Wild Robot Manipulation Dataset | arXiv preprint arXiv:2403.12945 | Alexander Khazatsky Karl Pertsch Suraj Nair Ashwin Balakrishna Sudeep Dasari | 2024/3/19 |
Generative Adversarial Bayesian Optimization for Surrogate Objectives | arXiv preprint arXiv:2402.06532 | Michael S Yao Yimeng Zeng Hamsa Bastani Jacob Gardner James C Gee | 2024/2/9 |
Advancing Glaucoma Care: Integrating Artificial Intelligence in Diagnosis, Management, and Progression Detection | Yan Zhu Rebecca Salowe Caven Chow Shuo Li Osbert Bastani | 2024/1/26 | |
Improved modeling of RNA-binding protein motifs in an interpretable neural model of RNA splicing | Genome Biology | Kavi Gupta Chenxi Yang Kayla McCue Osbert Bastani Phillip A Sharp | 2024/1/16 |
Synthesizing trajectory queries from examples | Stephen Mell Favyen Bastani Steve Zdancewic Osbert Bastani | 2023/7/17 | |
SPARLING: learning latent representations with extremely sparse activations | arXiv preprint arXiv:2302.01976 | Kavi Gupta Osbert Bastani Armando Solar-Lezama | 2023/2/3 |
{ACon^ 2}: Adaptive Conformal Consensus for Provable Blockchain Oracles | Sangdon Park Osbert Bastani Taesoo Kim | 2023 | |
Policy synthesis and reinforcement learning for discounted LTL | Rajeev Alur Osbert Bastani Kishor Jothimurugan Mateo Perez Fabio Somenzi | 2023/5/26 | |
PAC prediction sets under label shift | arXiv preprint arXiv:2310.12964 | Wenwen Si Sangdon Park Insup Lee Edgar Dobriban Osbert Bastani | 2023/10/19 |
TRAC: Trustworthy Retrieval Augmented Chatbot | arXiv preprint arXiv:2307.04642 | Shuo Li Sangdon Park Insup Lee Osbert Bastani | 2023/7/7 |
Vip: Towards universal visual reward and representation via value-implicit pre-training | Yecheng Jason Ma Shagun Sodhani Dinesh Jayaraman Osbert Bastani Vikash Kumar | 2023 | |
Inverse Protein Folding Using Deep Bayesian Optimization | arXiv preprint arXiv:2305.18089 | Natalie Maus Yimeng Zeng Daniel Allen Anderson Phillip Maffettone Aaron Solomon | 2023/5/25 |
TFQP1: Specification-Guided Reinforcement Learning | Rajeev Alur Suguman Bansal Osbert Bastani Kishor Jothimurugan | 2023 | |
Eureka: Human-level reward design via coding large language models | arXiv preprint arXiv:2310.12931 | Yecheng Jason Ma William Liang Guanzhi Wang De-An Huang Osbert Bastani | 2023/10/19 |
Liv: Language-image representations and rewards for robotic control | Yecheng Jason Ma Vikash Kumar Amy Zhang Osbert Bastani Dinesh Jayaraman | 2023/7/3 | |
Uniformly conservative exploration in reinforcement learning | Wanqiao Xu Yecheng Ma Kan Xu Hamsa Bastani Osbert Bastani | 2023/4/11 | |
Angelic patches for improving third-party object detector performance | Wenwen Si Shuo Li Sangdon Park Insup Lee Osbert Bastani | 2023 | |
Universal Visual Decomposer: Long-Horizon Manipulation Made Easy | arXiv preprint arXiv:2310.08581 | Zichen Zhang Yunshuang Li Osbert Bastani Abhishek Gupta Dinesh Jayaraman | 2023/10/12 |