| Measuring neural net robustness with constraints O Bastani, Y Ioannou, L Lampropoulos, D Vytiniotis, A Nori, A Criminisi Advances in neural information processing systems 29, 2016 | 497 | 2016 |
| Interpreting blackbox models via model extraction O Bastani, C Kim, H Bastani arXiv preprint arXiv:1705.08504, 2017 | 388* | 2017 |
| Verifiable reinforcement learning via policy extraction O Bastani, Y Pu, A Solar-Lezama Advances in Neural Information Processing Systems, 2018 | 331 | 2018 |
| " How do I fool you?" Manipulating User Trust via Misleading Black Box Explanations H Lakkaraju, O Bastani Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society, 79-85, 2020 | 248 | 2020 |
| Synthesizing program input grammars O Bastani, R Sharma, A Aiken, P Liang ACM SIGPLAN Notices 52 (6), 95-110, 2017 | 212 | 2017 |
| Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018 | 179 | 2018 |
| Vip: Towards universal visual reward and representation via value-implicit pre-training YJ Ma, S Sodhani, D Jayaraman, O Bastani, V Kumar, A Zhang The Eleventh International Conference on Learning Representations, 2023 | 124 | 2023 |
| Automatically learning android malware signatures from few samples Y Feng, O Bastani, R Martins, I Dillig, S Anand Proceedings of the 2017 Annual Network and Distributed System Security …, 2017 | 105* | 2017 |
| An efficient homomorphic encryption protocol for multi-user systems L Xiao, O Bastani, IL Yen Cryptology ePrint Archive, 2012 | 97 | 2012 |
| A composable specification language for reinforcement learning tasks K Jothimurugan, R Alur, O Bastani Advances in Neural Information Processing Systems 32, 2019 | 90 | 2019 |
| Probabilistic verification of fairness properties via concentration O Bastani, X Zhang, A Solar-Lezama Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-27, 2019 | 82 | 2019 |
| Robust and stable black box explanations H Lakkaraju, N Arsov, O Bastani International conference on machine learning, 5628-5638, 2020 | 80 | 2020 |
| Robust model predictive shielding for safe reinforcement learning with stochastic dynamics S Li, O Bastani 2020 IEEE International Conference on Robotics and Automation (ICRA), 7166-7172, 2020 | 79 | 2020 |
| Algorithms for fairness in sequential decision making M Wen, O Bastani, U Topcu International Conference on Artificial Intelligence and Statistics, 1144-1152, 2021 | 78* | 2021 |
| Conservative offline distributional reinforcement learning Y Ma, D Jayaraman, O Bastani Advances in neural information processing systems 34, 19235-19247, 2021 | 67 | 2021 |
| Compositional reinforcement learning from logical specifications K Jothimurugan, S Bansal, O Bastani, R Alur Advances in Neural Information Processing Systems 34, 10026-10039, 2021 | 67 | 2021 |
| Eureka: Human-level reward design via coding large language models YJ Ma, W Liang, G Wang, DA Huang, O Bastani, D Jayaraman, Y Zhu, ... arXiv preprint arXiv:2310.12931, 2023 | 61 | 2023 |
| Safe Reinforcement Learning with Nonlinear Dynamics via Model Predictive Shielding O Bastani American Control Conference (ACC), 2021 | 61* | 2021 |
| Specification inference using context-free language reachability O Bastani, S Anand, A Aiken Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 60 | 2015 |
| Minimizing GUI event traces L Clapp, O Bastani, S Anand, A Aiken Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 55 | 2016 |
Hamsa BastaniAssociate Professor of Operations Information and Decisions, Wharton SchoolDirección de correo verificada de wharton.upenn.edu
