Folgen
Osbert Bastani
Titel
Zitiert von
Zitiert von
Jahr
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
5352016
Interpreting blackbox models via model extraction
O Bastani, C Kim, H Bastani
arXiv preprint arXiv:1705.08504, 2017
442*2017
Open X-Embodiment: Robotic Learning Datasets and RT-X Models : Open X-Embodiment Collaboration0
A O’Neill, A Rehman, A Maddukuri, A Gupta, A Padalkar, A Lee, A Pooley, ...
2024 IEEE International Conference on Robotics and Automation (ICRA), 6892-6903, 2024
414*2024
Verifiable reinforcement learning via policy extraction
O Bastani, Y Pu, A Solar-Lezama
Advances in Neural Information Processing Systems, 2018
4072018
" 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
3182020
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
2712023
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
2422023
Synthesizing program input grammars
O Bastani, R Sharma, A Aiken, P Liang
ACM SIGPLAN Notices 52 (6), 95-110, 2017
2382017
Program synthesis using conflict-driven learning
Y Feng, R Martins, O Bastani, I Dillig
ACM SIGPLAN Notices 53 (4), 420-435, 2018
2062018
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
116*2017
A composable specification language for reinforcement learning tasks
K Jothimurugan, R Alur, O Bastani
Advances in Neural Information Processing Systems 32, 2019
1042019
Liv: Language-image representations and rewards for robotic control
YJ Ma, V Kumar, A Zhang, O Bastani, D Jayaraman
International Conference on Machine Learning, 23301-23320, 2023
1032023
Compositional reinforcement learning from logical specifications
K Jothimurugan, S Bansal, O Bastani, R Alur
Advances in Neural Information Processing Systems 34, 10026-10039, 2021
992021
Algorithms for fairness in sequential decision making
M Wen, O Bastani, U Topcu
International Conference on Artificial Intelligence and Statistics, 1144-1152, 2021
99*2021
Droid: A large-scale in-the-wild robot manipulation dataset
A Khazatsky, K Pertsch, S Nair, A Balakrishna, S Dasari, S Karamcheti, ...
arXiv preprint arXiv:2403.12945, 2024
972024
Conservative offline distributional reinforcement learning
Y Ma, D Jayaraman, O Bastani
Advances in neural information processing systems 34, 19235-19247, 2021
972021
An efficient homomorphic encryption protocol for multi-user systems
L Xiao, O Bastani, IL Yen
Cryptology ePrint Archive, 2012
962012
Robust and stable black box explanations
H Lakkaraju, N Arsov, O Bastani
International conference on machine learning, 5628-5638, 2020
952020
Learning Performance-Improving Code Edits
A Shypula, A Madaan, Y Zeng, U Alon, J Gardner, M Hashemi, G Neubig, ...
arXiv preprint arXiv:2302.07867, 2023
942023
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
942020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20