Osbert Bastani

209 papers A* 54A 10C 2Misc 2Journal 116Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Adversarial Query Synthesis via Bayesian Optimization. CoRR Jeffrey Tao, Yimeng Zeng, Haydn Thomas Jones, Natalie Maus, Osbert Bastani, Jacob R. Gardner, Ryan Marcus
2026	J	`jnl`	Are AI Capabilities Increasing Exponentially? A Competing Hypothesis. CoRR Haosen Ge, Hamsa Bastani, Osbert Bastani
2026	A*	`conf`	Conformal Constrained Policy Optimization for Cost-Effective LLM Agents. AAAI Wenwen Si, Sooyong Jang, Insup Lee, Osbert Bastani
2026	J	`jnl`	Improving Human Sequential Decision Making with Reinforcement Learning. Manag. Sci. Hamsa Bastani, Osbert Bastani, Wichinpong Park Sinchaisri
2026	J	`jnl`	Optimal Program Synthesis via Abstract Interpretation. CoRR Stephen Mell, Steve Zdancewic, Osbert Bastani
2026	J	`jnl`	Prior-Agnostic Incentive-Compatible Exploration. CoRR Ramya Ramalingam, Osbert Bastani, Aaron Roth
2026	J	`jnl`	Purely Agentic Black-Box Optimization for Biological Design. CoRR Natalie Maus, Yimeng Zeng, Haydn Thomas Jones, Yining Huang, Gaurav Ng Goel, Alden Rose, Kyurae Kim, Hyun-Su Lee, Marcelo Der Torossian Torres, Fangping Wan, Cesar de la Fuente-Nunez, Mark Yatskar, Osbert Bastani, Jacob R. Gardner
2026	J	`jnl`	Specification-Guided Reinforcement Learning. Commun. ACM Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
2026	J	`jnl`	Synthesizing Trajectory Queries from Examples. CoRR Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani
2026	J	`jnl`	Tether: Autonomous Functional Play with Correspondence-Driven Trajectory Warping. CoRR William Liang, Sam Wang, Hung-Ju Wang, Osbert Bastani, Yecheng Jason Ma, Dinesh Jayaraman
2026	J	`jnl`	Winner's Curse Drives False Promises in Data-Driven Decisions: A Case Study in Refugee Matching. CoRR Hamsa Bastani, Osbert Bastani, Bryce McLaughlin
2025	J	`jnl`	A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions. CoRR Stephen Mell, Botong Zhang, David Mell, Shuo Li, Ramya Ramalingam, Nathan Yu, Steve Zdancewic, Osbert Bastani
2025	J	`jnl`	Active Learning for Neurosymbolic Program Synthesis. CoRR Celeste Barnaby, Qiaochu Chen, Ramya Ramalingam, Osbert Bastani, Isil Dillig
2025	J	`jnl`	Active Learning for Neurosymbolic Program Synthesis. Proc. ACM Program. Lang. Celeste Barnaby, Qiaochu Chen, Ramya Ramalingam, Osbert Bastani, Isil Dillig
2025	J	`jnl`	Alignment of large language models with constrained learning. CoRR Botong Zhang, Shuo Li, Ignacio Hounie, Osbert Bastani, Dongsheng Ding, Alejandro Ribeiro
2025	J	`jnl`	Automated High-Level Code Optimization for Warehouse Performance. IEEE Micro Alexander Shypula, Aman Madaan, Yimeng Zeng, Uri Alon, Jacob R. Gardner, Milad Hashemi, Graham Neubig, Parthasarathy Ranganathan, Osbert Bastani, Amir Yazdanbakhsh
2025	J	`jnl`	Beating the Winner's Curse via Inference-Aware Policy Optimization. CoRR Hamsa Bastani, Osbert Bastani, Bryce McLaughlin
2025	J	`jnl`	BrowserArena: Evaluating LLM Agents on Real-World Web Navigation Tasks. CoRR Sagnik Anupam, Davis Brown, Shuo Li, Eric Wong, Hamed Hassani, Osbert Bastani
2025	J	`jnl`	Conformal Constrained Policy Optimization for Cost-Effective LLM Agents. CoRR Wenwen Si, Sooyong Jang, Insup Lee, Osbert Bastani
2025	A*	`conf`	Conformal Structured Prediction. ICLR Botong Zhang, Shuo Li, Osbert Bastani
2025	A*	`conf`	Diversity By Design: Leveraging Distribution Matching for Offline Model-Based Optimization. ICML Michael S. Yao, James C. Gee, Osbert Bastani
2025	J	`jnl`	Diversity By Design: Leveraging Distribution Matching for Offline Model-Based Optimization. CoRR Michael S. Yao, James C. Gee, Osbert Bastani
2025	J	`jnl`	Effective Reinforcement Learning for Reasoning in Language Models. CoRR Lianghuan Huang, Shuo Li, Sagnik Anupam, Insup Lee, Osbert Bastani
2025	J	`jnl`	Evaluating the Diversity and Quality of LLM Generated Content. CoRR Alexander Shypula, Shuo Li, Botong Zhang, Vishakh Padmakumar, Kayo Yin, Osbert Bastani
2025	J	`jnl`	Knowledgeable Language Models as Black-Box Optimizers for Personalized Medicine. CoRR Michael S. Yao, Osbert Bastani, Alma Andersson, Tommaso Biancalani, Aïcha BenTaieb, Claudia Iriondo
2025	J	`jnl`	LLM Program Optimization via Retrieval Augmented Search. CoRR Sagnik Anupam, Alexander Shypula, Osbert Bastani
2025	J	`jnl`	Large Scale Multi-Task Bayesian Optimization with Large Language Models. CoRR Yimeng Zeng, Natalie Maus, Haydn Thomas Jones, Jeffrey Tao, Fangping Wan, Marcelo Der Torossian Torres, Cesar de la Fuente-Nunez, Ryan Marcus, Osbert Bastani, Jacob R. Gardner
2025	J	`jnl`	Opportunistically Parallel Lambda Calculus. Proc. ACM Program. Lang. Stephen Mell, Konstantinos Kallas, Steve Zdancewic, Osbert Bastani
2025	J	`jnl`	RAPID: An Efficient Reinforcement Learning Algorithm for Small Language Models. CoRR Lianghuan Huang, Sagnik Anupam, Insup Lee, Shuo Li, Osbert Bastani
2025	—	`conf`	Specification-Guided Reinforcement Learning. NeuS Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2025	A*	`conf`	Stochastic Online Conformal Prediction with Semi-Bandit Feedback. ICML Haosen Ge, Hamsa Bastani, Osbert Bastani
2025	A*	`conf`	Vision Language Models are In-Context Value Learners. ICLR 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	A*	`conf`	Zeroth-Order Fine-Tuning of LLMs with Transferable Static Sparsity. ICLR 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
2024	J	`jnl`	An Opportunistically Parallel Lambda Calculus for Performant Composition of Large Language Models. CoRR Stephen Mell, Steve Zdancewic, Osbert Bastani
2024	J	`jnl`	Conformal Structured Prediction. CoRR Botong Zhang, Shuo Li, Osbert Bastani
2024	—	`conf`	DROID: A Large-Scale In-The-Wild Robot Manipulation Dataset. Robotics: Science and Systems Alexander Khazatsky, Karl Pertsch, Suraj Nair, Ashwin Balakrishna, Sudeep Dasari, Siddharth Karamcheti, Soroush Nasiriany, Mohan Kumar Srirama, Lawrence Yunliang Chen, Kirsty Ellis, Peter David Fagan, Joey Hejna, Masha Itkina, Marion Lepert, Yecheng Jason Ma, Patrick Tree Miller, Jimmy Wu, Suneel Belkhale, Shivin Dass, Huy Ha, Arhan Jain, Abraham Lee, Youngwoon Lee, Marius Memmel, Sungjae Park, Ilija Radosavovic, Kaiyuan Wang, Albert Zhan, Kevin Black, Cheng Chi, Kyle Beltran Hatch, Shan Lin, Jingpei Lu, Jean Mercat, Abdul Rehman, Pannag R. Sanketi, Archit Sharma, Cody Simpson, Quan Vuong, Homer Rich Walke, Blake Wulfe, Ted Xiao, Jonathan Heewon Yang, Arefeh Yavary, Tony Z. Zhao, Christopher Agia, Rohan Baijal, Mateo Guaman Castro, Daphne Chen, Qiuyu Chen, Trinity Chung, Jaimyn Drake, Ethan Paul Foster, Jensen Gao, David Antonio Herrera, Minho Heo, Kyle Hsu, Jiaheng Hu, Donovon Jackson, Charlotte Le, Yunshuang Li, Roy Lin, Zehan Ma, Abhiram Maddukuri, Suvir Mirchandani, Daniel Morton, Tony Nguyen, Abigail O'Neill, Rosario Scalise, Derick Seale, Victor Son, Stephen Tian, Emi Tran, Andrew E. Wang, Yilin Wu, Annie Xie, Jingyun Yang, Patrick Yin, Yunchu Zhang, Osbert Bastani, Glen Berseth, Jeannette Bohg, Ken Goldberg, Abhinav Gupta, Abhishek Gupta, Dinesh Jayaraman, Joseph J. Lim, Jitendra Malik, Roberto Martín-Martín, Subramanian Ramamoorthy, Dorsa Sadigh, Shuran Song, Jiajun Wu, Michael C. Yip, Yuke Zhu, Thomas Kollar, Sergey Levine, Chelsea Finn
2024	—	`conf`	DrEureka: Language Model Guided Sim-To-Real Transfer. Robotics: Science and Systems Yecheng Jason Ma, William Liang, Hung-Ju Wang, Yuke Zhu, Linxi Fan, Osbert Bastani, Dinesh Jayaraman
2024	J	`jnl`	DrEureka: Language Model Guided Sim-To-Real Transfer. CoRR Yecheng Jason Ma, William Liang, Hung-Ju Wang, Sam Wang, Yuke Zhu, Linxi Fan, Osbert Bastani, Dinesh Jayaraman
2024	Misc	`conf`	Environment Curriculum Generation via Large Language Models. CoRL William Liang, Sam Wang, Hung-Ju Wang, Osbert Bastani, Dinesh Jayaraman, Yecheng Jason Ma
2024	A*	`conf`	Eureka: Human-Level Reward Design via Coding Large Language Models. ICLR Yecheng Jason Ma, William Liang, Guanzhi Wang, De-An Huang, Osbert Bastani, Dinesh Jayaraman, Yuke Zhu, Linxi Fan, Anima Anandkumar
2024	J	`jnl`	Eurekaverse: Environment Curriculum Generation via Large Language Models. CoRR William Liang, Sam Wang, Hung-Ju Wang, Osbert Bastani, Dinesh Jayaraman, Yecheng Jason Ma
2024	J	`jnl`	Evidence Is All You Need: Ordering Imaging Studies via Language Model Alignment with the ACR Appropriateness Criteria. CoRR Michael S. Yao, Allison Chae, Charles E. Kahn Jr., Walter R. Witschey, James C. Gee, Hersh Sagreiya, Osbert Bastani
2024	J	`jnl`	Generative Adversarial Bayesian Optimization for Surrogate Objectives. CoRR Michael S. Yao, Yimeng Zeng, Hamsa Bastani, Jacob R. Gardner, James C. Gee, Osbert Bastani
2024	A*	`conf`	Generative Adversarial Model-Based Optimization via Source Critic Regularization. NeurIPS Michael S. Yao, Yimeng Zeng, Hamsa Bastani, Jacob R. Gardner, James C. Gee, Osbert Bastani
2024	J	`jnl`	Improving Structural Diversity of Blackbox LLMs via Chain-of-Specification Prompting. CoRR Halley Young, Yimeng Zeng, Jacob R. Gardner, Osbert Bastani
2024	A*	`conf`	Learning Performance-Improving Code Edits. ICLR Alexander Shypula, Aman Madaan, Yimeng Zeng, Uri Alon, Jacob R. Gardner, Yiming Yang, Milad Hashemi, Graham Neubig, Parthasarathy Ranganathan, Osbert Bastani, Amir Yazdanbakhsh
2024	A*	`conf`	One-Shot Safety Alignment for Large Language Models via Optimal Dualization. NeurIPS Xinmeng Huang, Shuo Li, Edgar Dobriban, Osbert Bastani, Hamed Hassani, Dongsheng Ding
2024	J	`jnl`	One-Shot Safety Alignment for Large Language Models via Optimal Dualization. CoRR Xinmeng Huang, Shuo Li, Edgar Dobriban, Osbert Bastani, Hamed Hassani, Dongsheng Ding
2024	A*	`conf`	Open X-Embodiment: Robotic Learning Datasets and RT-X Models : Open X-Embodiment Collaboration. ICRA 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 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 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, 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-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	J	`jnl`	Optimal Program Synthesis via Abstract Interpretation. Proc. ACM Program. Lang. Stephen Mell, Steve Zdancewic, Osbert Bastani
2024	A*	`conf`	PAC Prediction Sets Under Label Shift. ICLR Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani
2024	J	`jnl`	Parameter Estimation for Generalized Low-Rank Matrix Sensing by Learning on Riemannian Manifolds. CoRR Osbert Bastani
2024	A	`conf`	Rethinking Fairness for Human-AI Collaboration (Extended Abstract). ITCS Haosen Ge, Hamsa Bastani, Osbert Bastani
2024	A*	`conf`	Stochastic Bandits with ReLU Neural Networks. ICML Kan Xu, Hamsa Bastani, Surbhi Goel, Osbert Bastani
2024	J	`jnl`	Stochastic Bandits with ReLU Neural Networks. CoRR Kan Xu, Hamsa Bastani, Surbhi Goel, Osbert Bastani
2024	J	`jnl`	Stochastic Online Conformal Prediction with Semi-Bandit Feedback. CoRR Haosen Ge, Hamsa Bastani, Osbert Bastani
2024	—	`conf`	TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction. NAACL-HLT Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
2024	J	`jnl`	Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction. CoRR Ramya Ramalingam, Sangdon Park, Osbert Bastani
2024	A*	`conf`	Uncertainty in Language Models: Assessment through Rank-Calibration. EMNLP Xinmeng Huang, Shuo Li, Mengxin Yu, Matteo Sesia, Hamed Hassani, Insup Lee, Osbert Bastani, Edgar Dobriban
2024	J	`jnl`	Uncertainty in Language Models: Assessment through Rank-Calibration. CoRR Xinmeng Huang, Shuo Li, Mengxin Yu, Matteo Sesia, Hamed Hassani, Insup Lee, Osbert Bastani, Edgar Dobriban
2024	A*	`conf`	Universal Visual Decomposer: Long-Horizon Manipulation Made Easy. ICRA Zichen Zhang, Yunshuang Li, Osbert Bastani, Abhishek Gupta, Dinesh Jayaraman, Yecheng Jason Ma, Luca Weihs
2024	J	`jnl`	Vision Language Models are In-Context Value Learners. CoRR Yecheng Jason Ma, Joey Hejna, Ayzaan Wahid, Chuyuan Fu, Dhruv Shah, Jacky Liang, Zhuo Xu, Sean Kirmani, Peng Xu, Danny Driess, Ted Xiao, Jonathan Tompson, Osbert Bastani, Dinesh Jayaraman, Wenhao Yu, Tingnan Zhang, Dorsa Sadigh, Fei Xia
2024	J	`jnl`	Zeroth-Order Fine-Tuning of LLMs with Extreme Sparsity. CoRR 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
2023	A*	`conf`	ACon USENIX Security Symposium Sangdon Park, Osbert Bastani, Taesoo Kim
2023	A*	`conf`	Angelic Patches for Improving Third-Party Object Detector Performance. CVPR Wenwen Si, Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
2023	A	`conf`	Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism. INTERSPEECH Yahan Yang, Sunghye Cho, Maxine Covello, Azia Knox, Osbert Bastani, James Weimer, Edgar Dobriban, Robert T. Schultz, Insup Lee, Julia Parish-Morris
2023	J	`jnl`	Eureka: Human-Level Reward Design via Coding Large Language Models. CoRR Yecheng Jason Ma, William Liang, Guanzhi Wang, De-An Huang, Osbert Bastani, Dinesh Jayaraman, Yuke Zhu, Linxi Fan, Anima Anandkumar
2023	A*	`conf`	Fast and Reliable Program Synthesis via User Interaction. ASE Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng
2023	J	`jnl`	Inverse Protein Folding Using Deep Bayesian Optimization. CoRR Natalie Maus, Yimeng Zeng, Daniel Allen Anderson, Phillip M. Maffettone, Aaron Solomon, Peyton Greenside, Osbert Bastani, Jacob R. Gardner
2023	A*	`conf`	LIV: Language-Image Representations and Rewards for Robotic Control. ICML Yecheng Jason Ma, Vikash Kumar, Amy Zhang, Osbert Bastani, Dinesh Jayaraman
2023	J	`jnl`	LIV: Language-Image Representations and Rewards for Robotic Control. CoRR Yecheng Jason Ma, William Liang, Vaidehi Som, Vikash Kumar, Amy Zhang, Osbert Bastani, Dinesh Jayaraman
2023	—	`conf`	Learning Policy-Aware Models for Model-Based Reinforcement Learning via Transition Occupancy Matching. L4DC Yecheng Jason Ma, Kausik Sivakumar, Jason Yan, Osbert Bastani, Dinesh Jayaraman
2023	J	`jnl`	PAC Prediction Sets Under Label Shift. CoRR Wenwen Si, Sangdon Park, Insup Lee, Edgar Dobriban, Osbert Bastani
2023	A*	`conf`	PAC Prediction Sets for Large Language Models of Code. ICML Adam Khakhar, Stephen Mell, Osbert Bastani
2023	J	`jnl`	PAC Prediction Sets for Large Language Models of Code. CoRR Adam Khakhar, Stephen Mell, Osbert Bastani
2023	—	`conf`	Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2023	J	`jnl`	Policy Synthesis and Reinforcement Learning for Discounted LTL. CoRR Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2023	J	`jnl`	Rethinking Fairness for Human-AI Collaboration. CoRR Haosen Ge, Hamsa Bastani, Osbert Bastani
2023	A*	`conf`	Robust Subtask Learning for Compositional Generalization. ICML Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur
2023	J	`jnl`	Robust Subtask Learning for Compositional Generalization. CoRR Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur
2023	J	`jnl`	SPARLING: Learning Latent Representations with Extremely Sparse Activations. CoRR Kavi Gupta, Osbert Bastani, Armando Solar-Lezama
2023	—	`conf`	Synthesizing Trajectory Queries from Examples. CAV (1) Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani
2023	J	`jnl`	TOM: Learning Policy-Aware Models for Model-Based Reinforcement Learning via Transition Occupancy Matching. CoRR Yecheng Jason Ma, Kausik Sivakumar, Jason Yan, Osbert Bastani, Dinesh Jayaraman
2023	J	`jnl`	TRAC: Trustworthy Retrieval Augmented Chatbot. CoRR Shuo Li, Sangdon Park, Insup Lee, Osbert Bastani
2023	A	`conf`	Uniformly Conservative Exploration in Reinforcement Learning. AISTATS Wanqiao Xu, Yecheng Jason Ma, Kan Xu, Hamsa Bastani, Osbert Bastani
2023	J	`jnl`	Universal Visual Decomposer: Long-Horizon Manipulation Made Easy. CoRR Zichen Zhang, Yunshuang Li, Osbert Bastani, Abhishek Gupta, Dinesh Jayaraman, Yecheng Jason Ma, Luca Weihs
2023	A*	`conf`	VIP: Towards Universal Visual Reward and Representation via Value-Implicit Pre-Training. ICLR Yecheng Jason Ma, Shagun Sodhani, Dinesh Jayaraman, Osbert Bastani, Vikash Kumar, Amy Zhang
2022	—	`conf`	A Framework for Transforming Specifications in Reinforcement Learning. Principles of Systems Design Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
2022	J	`jnl`	ACon CoRR Sangdon Park, Osbert Bastani, Taesoo Kim
2022	J	`jnl`	Bandits for Online Calibration: An Application to Content Moderation on Social Media Platforms. CoRR 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
2022	A*	`conf`	Conservative and Adaptive Penalty for Model-Based Safe Reinforcement Learning. AAAI Yecheng Jason Ma, Andrew Shen, Osbert Bastani, Dinesh Jayaraman
2022	—	`conf`	Counterfactual Explanations for Natural Language Interfaces. ACL (2) George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani
2022	J	`jnl`	Counterfactual Explanations for Natural Language Interfaces. CoRR George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani
2022	J	`jnl`	Decision-Aware Learning for Optimizing Health Supply Chains. CoRR Tsai-Hsuan Chung, Vahid Rostami, Hamsa Bastani, Osbert Bastani
2022	Misc	`conf`	Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRL Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris
2022	J	`jnl`	Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates. CoRR Souradeep Dutta, Kaustubh Sridhar, Osbert Bastani, Edgar Dobriban, James Weimer, Insup Lee, Julia Parish-Morris
2022	J	`jnl`	How Far I'll Go: Offline Goal-Conditioned Reinforcement Learning via f-Advantage Regression. CoRR Yecheng Jason Ma, Jason Yan, Dinesh Jayaraman, Osbert Bastani
2022	—	`conf`	Ideograph: A Language for Expressing and Manipulating Structured Data. TERMGRAPH@FSCD Stephen Mell, Osbert Bastani, Steve Zdancewic
2022	A*	`conf`	Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints. NeurIPS Halley Young, Maxwell Du, Osbert Bastani
2022	A*	`conf`	Offline Goal-Conditioned Reinforcement Learning via $f$-Advantage Regression. NeurIPS Yecheng Jason Ma, Jason Yan, Dinesh Jayaraman, Osbert Bastani
2022	A*	`conf`	PAC Prediction Sets Under Covariate Shift. ICLR Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
2022	A*	`conf`	PAC Prediction Sets for Meta-Learning. NeurIPS Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
2022	J	`jnl`	PAC Prediction Sets for Meta-Learning. CoRR Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
2022	A*	`conf`	Practical Adversarial Multivalid Conformal Prediction. NeurIPS Osbert Bastani, Varun Gupta, Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth
2022	J	`jnl`	Practical Adversarial Multivalid Conformal Prediction. CoRR Osbert Bastani, Varun Gupta, Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth
2022	A*	`conf`	Regret Bounds for Risk-Sensitive Reinforcement Learning. NeurIPS Osbert Bastani, Yecheng Jason Ma, Estelle Shen, Wanqiao Xu
2022	J	`jnl`	Regret Bounds for Risk-Sensitive Reinforcement Learning. CoRR Osbert Bastani, Yecheng Jason Ma, Estelle Shen, Wanqiao Xu
2022	J	`jnl`	SMODICE: Versatile Offline Imitation Learning via State Occupancy Matching. CoRR Yecheng Jason Ma, Andrew Shen, Dinesh Jayaraman, Osbert Bastani
2022	A*	`conf`	Sequential Covariate Shift Detection Using Classifier Two-Sample Tests. ICML Sooyong Jang, Sangdon Park, Insup Lee, Osbert Bastani
2022	—	`conf`	Specification-Guided Learning of Nash Equilibria with High Social Welfare. CAV (2) Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2022	J	`jnl`	Specification-Guided Learning of Nash Equilibria with High Social Welfare. CoRR Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2022	J	`jnl`	Towards PAC Multi-Object Detection and Tracking. CoRR Shuo Li, Sangdon Park, Xiayan Ji, Insup Lee, Osbert Bastani
2022	A*	`conf`	Understanding Robust Generalization in Learning Regular Languages. ICML Soham Dan, Osbert Bastani, Dan Roth
2022	J	`jnl`	Understanding Robust Generalization in Learning Regular Languages. CoRR Soham Dan, Osbert Bastani, Dan Roth
2022	J	`jnl`	VIP: Towards Universal Visual Reward and Representation via Value-Implicit Pre-Training. CoRR Yecheng Jason Ma, Shagun Sodhani, Dinesh Jayaraman, Osbert Bastani, Vikash Kumar, Amy Zhang
2022	A*	`conf`	Versatile Offline Imitation from Observations and Examples via Regularized State-Occupancy Matching. ICML Yecheng Jason Ma, Andrew Shen, Dinesh Jayaraman, Osbert Bastani
2021	J	`jnl`	A Framework for Transforming Specifications in Reinforcement Learning. CoRR Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
2021	A	`conf`	Abstract Value Iteration for Hierarchical Reinforcement Learning. AISTATS Kishor Jothimurugan, Osbert Bastani, Rajeev Alur
2021	A	`conf`	Algorithms for Fairness in Sequential Decision Making. AISTATS Min Wen, Osbert Bastani, Ufuk Topcu
2021	J	`jnl`	Compositional Learning and Verification of Neural Network Controllers. ACM Trans. Embed. Comput. Syst. Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani
2021	A*	`conf`	Compositional Reinforcement Learning from Logical Specifications. NeurIPS Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2021	J	`jnl`	Compositional Reinforcement Learning from Logical Specifications. CoRR Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2021	A*	`conf`	Conservative Offline Distributional Reinforcement Learning. NeurIPS Yecheng Jason Ma, Dinesh Jayaraman, Osbert Bastani
2021	J	`jnl`	Conservative Offline Distributional Reinforcement Learning. CoRR Yecheng Jason Ma, Dinesh Jayaraman, Osbert Bastani
2021	J	`jnl`	Conservative and Adaptive Penalty for Model-Based Safe Reinforcement Learning. CoRR Yecheng Jason Ma, Andrew Shen, Osbert Bastani, Dinesh Jayaraman
2021	—	`conf`	Few-Shot Novel Concept Learning for Semantic Parsing. EMNLP (Findings) Soham Dan, Osbert Bastani, Dan Roth
2021	A*	`conf`	Group-Sparse Matrix Factorization for Transfer Learning of Word Embeddings. ICML Kan Xu, Xuanyi Zhao, Hamsa Bastani, Osbert Bastani
2021	J	`jnl`	Group-Sparse Matrix Factorization for Transfer Learning of Word Embeddings. CoRR Kan Xu, Xuanyi Zhao, Hamsa Bastani, Osbert Bastani
2021	J	`jnl`	Improving Human Decision-Making with Machine Learning. CoRR Hamsa Bastani, Osbert Bastani, Wichinpong Park Sinchaisri
2021	A*	`conf`	Learning Models for Actionable Recourse. NeurIPS Alexis Ross, Himabindu Lakkaraju, Osbert Bastani
2021	A*	`conf`	Likelihood-Based Diverse Sampling for Trajectory Forecasting. ICCV Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani
2021	J	`jnl`	Neurosymbolic Transformers for Multi-Agent Communication. CoRR Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama
2021	A*	`conf`	PAC Confidence Predictions for Deep Neural Network Classifiers. ICLR Sangdon Park, Shuo Li, Insup Lee, Osbert Bastani
2021	J	`jnl`	PAC Prediction Sets Under Covariate Shift. CoRR Sangdon Park, Edgar Dobriban, Insup Lee, Osbert Bastani
2021	A*	`conf`	Program Synthesis Guided Reinforcement Learning for Partially Observed Environments. NeurIPS Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard
2021	J	`jnl`	Program Synthesis Guided Reinforcement Learning. CoRR Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin C. Rinard
2021	J	`jnl`	Robust Generalization of Quadratic Neural Networks via Function Identification. CoRR Kan Xu, Hamsa Bastani, Osbert Bastani
2021	J	`jnl`	Safe Human-Interactive Control via Shielding. CoRR Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama
2021	—	`conf`	Safe Reinforcement Learning via Statistical Model Predictive Shielding. Robotics: Science and Systems Osbert Bastani, Shuo Li
2021	C	`conf`	Safe Reinforcement Learning with Nonlinear Dynamics via Model Predictive Shielding. ACC Osbert Bastani
2021	J	`jnl`	Safely Bridging Offline and Online Reinforcement Learning. CoRR Wanqiao Xu, Kan Xu, Hamsa Bastani, Osbert Bastani
2021	J	`jnl`	SkyQuery: An Aerial Drone Video Sensing Platform. CoRR Favyen Bastani, Songtao He, Ziwen Jiang, Osbert Bastani, Michael J. Cafarella, Tim Kraska, Sam Madden
2021	—	`conf`	SkyQuery: an aerial drone video sensing platform. Onward! Favyen Bastani, Songtao He, Ziwen Jiang, Osbert Bastani, Sam Madden
2021	J	`jnl`	Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching. CoRR Osbert Bastani
2021	J	`jnl`	Web Question Answering with Neurosymbolic Program Synthesis. CoRR Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
2021	A*	`conf`	Web question answering with neurosymbolic program synthesis. PLDI Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
2020	C	`conf`	"How do I fool you?": Manipulating User Trust via Misleading Black Box Explanations. AIES Himabindu Lakkaraju, Osbert Bastani
2020	J	`jnl`	A Composable Specification Language for Reinforcement Learning Tasks. CoRR Kishor Jothimurugan, Rajeev Alur, Osbert Bastani
2020	J	`jnl`	Abstract Value Iteration for Hierarchical Reinforcement Learning. CoRR Kishor Jothimurugan, Osbert Bastani, Rajeev Alur
2020	A	`conf`	Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. AISTATS Sangdon Park, Osbert Bastani, James Weimer, Insup Lee
2020	J	`jnl`	Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation. CoRR Sangdon Park, Osbert Bastani, James Weimer, Insup Lee
2020	J	`jnl`	Diverse Sampling for Normalizing Flow Based Trajectory Forecasting. CoRR Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani
2020	J	`jnl`	Ensuring Actionable Recourse via Adversarial Training. CoRR Alexis Ross, Himabindu Lakkaraju, Osbert Bastani
2020	A*	`conf`	Generating Programmatic Referring Expressions via Program Synthesis. ICML Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik
2020	—	`conf`	Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis. xxAI@ICML Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama
2020	A*	`conf`	Neurosymbolic Transformers for Multi-Agent Communication. NeurIPS Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin C. Rinard, Armando Solar-Lezama
2020	J	`jnl`	PAC Confidence Predictions for Deep Neural Network Classifiers. CoRR Sangdon Park, Shuo Li, Osbert Bastani, Insup Lee
2020	A*	`conf`	PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. ICLR Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee
2020	J	`jnl`	PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction. CoRR Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee
2020	—	`conf`	Program Synthesis Using Deduction-Guided Reinforcement Learning. CAV (2) Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng
2020	A*	`conf`	Robust Model Predictive Shielding for Safe Reinforcement Learning with Stochastic Dynamics. ICRA Shuo Li, Osbert Bastani
2020	A*	`conf`	Robust and Stable Black Box Explanations. ICML Himabindu Lakkaraju, Nino Arsov, Osbert Bastani
2020	J	`jnl`	Robust and Stable Black Box Explanations. CoRR Himabindu Lakkaraju, Nino Arsov, Osbert Bastani
2020	A	`conf`	Sample Complexity of Estimating the Policy Gradient for Nearly Deterministic Dynamical Systems. AISTATS Osbert Bastani
2020	A*	`conf`	Synthesizing Programmatic Policies that Inductively Generalize. ICLR Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, Armando Solar-Lezama
2019	J	`jnl`	"How do I fool you?": Manipulating User Trust via Misleading Black Box Explanations. CoRR Himabindu Lakkaraju, Osbert Bastani
2019	A*	`conf`	A Composable Specification Language for Reinforcement Learning Tasks. NeurIPS Kishor Jothimurugan, Rajeev Alur, Osbert Bastani
2019	A	`conf`	Eventually Sound Points-To Analysis with Specifications. ECOOP Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken
2019	J	`jnl`	Fairness with Dynamics. CoRR Min Wen, Osbert Bastani, Ufuk Topcu
2019	J	`jnl`	Learning Interpretable Models with Causal Guarantees. CoRR Carolyn Kim, Osbert Bastani
2019	A*	`conf`	Learning Neurosymbolic Generative Models via Program Synthesis. ICML Halley Young, Osbert Bastani, Mayur Naik
2019	J	`jnl`	Learning Neurosymbolic Generative Models via Program Synthesis. CoRR Halley Young, Osbert Bastani, Mayur Naik
2019	—	`conf`	Learning Neurosymbolic Generative Models via Program synthesis. DeepRLStructPred@ICLR Halley Young, Osbert Bastani, Mayur Naik
2019	A	`conf`	Learning Safe Unlabeled Multi-Robot Planning with Motion Constraints. IROS Arbaaz Khan, Chi Zhang, Shuo Li, Jiayue Wu, Brent Schlotfeldt, Sarah Y. Tang, Alejandro Ribeiro, Osbert Bastani, Vijay Kumar
2019	J	`jnl`	Learning Safe Unlabeled Multi-Robot Planning with Motion Constraints. CoRR Arbaaz Khan, Chi Zhang, Shuo Li, Jiayue Wu, Brent Schlotfeldt, Sarah Y. Tang, Alejandro Ribeiro, Osbert Bastani, Vijay Kumar
2019	J	`jnl`	MAMPS: Safe Multi-Agent Reinforcement Learning via Model Predictive Shielding. CoRR Wenbo Zhang, Osbert Bastani
2019	J	`jnl`	PolyDroid: Learning-Driven Specialization of Mobile Applications. CoRR Brian Heath, Neelay Velingker, Osbert Bastani, Mayur Naik
2019	—	`conf`	Polytopic Trees for Verification of Learning-Based Controllers. NSV@CAV Sadra Sadraddini, Shen Shen, Osbert Bastani
2019	J	`jnl`	Probabilistic verification of fairness properties via concentration. Proc. ACM Program. Lang. Osbert Bastani, Xin Zhang, Armando Solar-Lezama
2019	—	`conf`	REINAM: reinforcement learning for input-grammar inference. ESEC/SIGSOFT FSE Zhengkai Wu, Evan Johnson, Wei Yang, Osbert Bastani, Dawn Song, Jian Peng, Tao Xie
2019	J	`jnl`	Relational verification using reinforcement learning. Proc. ACM Program. Lang. Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig
2019	J	`jnl`	Robust Model Predictive Shielding for Safe Reinforcement Learning with Stochastic Dynamics. CoRR Shuo Li, Osbert Bastani
2019	J	`jnl`	Safe Reinforcement Learning via Online Shielding. CoRR Osbert Bastani
2019	J	`jnl`	Sample Complexity of Estimating the Policy Gradient for Nearly Deterministic Dynamical Systems. CoRR Osbert Bastani
2019	J	`jnl`	Synthesizing Queries via Interactive Sketching. CoRR Osbert Bastani, Xin Zhang, Armando Solar-Lezama
2018	A*	`conf`	Active learning of points-to specifications. PLDI Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
2018	A*	`conf`	Program synthesis using conflict-driven learning. PLDI Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig
2018	A*	`conf`	Verifiable Reinforcement Learning via Policy Extraction. NeurIPS Osbert Bastani, Yewen Pu, Armando Solar-Lezama
2018	J	`jnl`	Verifiable Reinforcement Learning via Policy Extraction. CoRR Osbert Bastani, Yewen Pu, Armando Solar-Lezama
2018	J	`jnl`	Verifying Fairness Properties via Concentration. CoRR Osbert Bastani, Xin Zhang, Armando Solar-Lezama
2017	J	`jnl`	Active Learning of Points-To Specifications. CoRR Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
2017	A*	`conf`	Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. NDSS Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand
2017	—	`—`	Beyond deductive inference in program analysis. Osbert Bastani
2017	J	`jnl`	Eventually Sound Points-To Analysis with Missing Code. CoRR Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken
2017	J	`jnl`	Interpretability via Model Extraction. CoRR Osbert Bastani, Carolyn Kim, Hamsa Bastani
2017	J	`jnl`	Interpreting Blackbox Models via Model Extraction. CoRR Osbert Bastani, Carolyn Kim, Hamsa Bastani
2017	A*	`conf`	Synthesizing program input grammars. PLDI Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
2016	J	`jnl`	Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. CoRR Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand
2016	—	`conf`	Measuring Neural Net Robustness with Constraints. NIPS Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi
2016	J	`jnl`	Measuring Neural Net Robustness with Constraints. CoRR Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi
2016	—	`conf`	Minimizing GUI event traces. SIGSOFT FSE Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken
2016	J	`jnl`	Synthesizing Program Input Grammars. CoRR Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
2015	—	`conf`	An interactive approach to mobile app verification. MobileDeLi Osbert Bastani, Saswat Anand, Alex Aiken
2015	A	`conf`	Interactively verifying absence of explicit information flows in Android apps. OOPSLA Osbert Bastani, Saswat Anand, Alex Aiken
2015	A*	`conf`	Specification Inference Using Context-Free Language Reachability. POPL Osbert Bastani, Saswat Anand, Alex Aiken
2013	—	`conf`	Stanford's 2013 KBP System. TAC Gabor Angeli, Arun Tejasvi Chaganty, Angel X. Chang, Kevin Reschke, Julie Tibshirani, Jean Wu, Osbert Bastani, Keith Siilats, Christopher D. Manning
2013	—	`conf`	Zero-Shot Learning Through Cross-Modal Transfer ICLR (Workshop) Richard Socher, Milind Ganjoo, Hamsa Sridhar, Osbert Bastani, Christopher D. Manning, Andrew Y. Ng
2012	J	`jnl`	An Efficient Homomorphic Encryption Protocol for Multi-User Systems. IACR Cryptol. ePrint Arch. Liangliang Xiao, Osbert Bastani, I-Ling Yen
2011	J	`jnl`	Randomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and Beyond. CoRR Osbert Bastani, Christopher J. Hillar, Dimitar Popov, J. Maurice Rojas