Scaling language models: Methods, analysis & insights from training gopher JW Rae, S Borgeaud, T Cai, K Millican, J Hoffmann, F Song, J Aslanides, ... | 1030 | 2021 |
Plug and play language models: a simple approach to controlled text generation S Dathathri, A Madotto, J Lan, J Hung, E Frank, P Molino, J Yosinski, ... International Conference on Learning Representations, 2020 | 926 | 2020 |
Improving alignment of dialogue agents via targeted human judgements A Glaese, N McAleese, M Trębacz, J Aslanides, V Firoiu, T Ewalds, ... arXiv preprint arXiv:2209.14375, 2022 | 387 | 2022 |
Challenges in detoxifying language models J Welbl, A Glaese, J Uesato, S Dathathri, J Mellor, LA Hendricks, ... arXiv preprint arXiv:2109.07445, 2021 | 198 | 2021 |
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming S Dathathri, K Dvijotham, A Kurakin, A Raghunathan, J Uesato, RR Bunel, ... Advances in Neural Information Processing Systems 33, 5318-5331, 2020 | 114 | 2020 |
Control design for hybrid systems with TuLiP: The temporal logic planning toolbox I Filippidis, S Dathathri, SC Livingston, N Ozay, RM Murray 2016 IEEE Conference on Control Applications (CCA), 1030-1041, 2016 | 88 | 2016 |
Cyprien de Masson d’Autume, Yujia Li, Tayfun Terzi, Vladimir Mikulik, Igor Babuschkin, Aidan Clark, Diego de Las Casas, Aurelia Guy, Chris Jones, James Bradbury, Matthew J JW Rae, S Borgeaud, T Cai, K Millican, J Hoffmann, HF Song, J Aslanides, ... Johnson, Blake A. Hechtman, Laura Weidinger, Iason Gabriel, William S. Isaac …, 2021 | 64 | 2021 |
Plug-and-play conversational models A Madotto, E Ishii, Z Lin, S Dathathri, P Fung arXiv preprint arXiv:2010.04344, 2020 | 53 | 2020 |
Characteristics of harmful text: Towards rigorous benchmarking of language models M Rauh, J Mellor, J Uesato, PS Huang, J Welbl, L Weidinger, S Dathathri, ... Advances in Neural Information Processing Systems 35, 24720-24739, 2022 | 39 | 2022 |
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications L Berrada, S Dathathri, R Stanforth, R Bunel, J Uesato, S Gowal, ... arXiv preprint arXiv:2102.09479, 2021 | 21* | 2021 |
Detecting adversarial examples via neural fingerprinting S Dathathri, S Zheng, T Yin, RM Murray, Y Yue arXiv preprint arXiv:1803.03870, 2018 | 20 | 2018 |
Decomposing GR (1) games with singleton liveness guarantees for efficient synthesis S Dathathri, RM Murray 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 911-917, 2017 | 16 | 2017 |
Robust constrained reinforcement learning for continuous control with model misspecification DJ Mankowitz, DA Calian, R Jeong, C Paduraru, N Heess, S Dathathri, ... arXiv preprint arXiv:2010.10644, 2020 | 13 | 2020 |
Heat transfer and optimization studies on layered porous stackings under an imposed pressure drop S Dathathri, C Balaji International Communications in Heat and Mass Transfer 60, 32-36, 2015 | 10 | 2015 |
Counter-example guided learning of bounds on environment behavior Y Chen, S Dathathri, T Phan-Minh, RM Murray Conference on Robot Learning, 898-909, 2020 | 9 | 2020 |
Learning-Based Abstractions for Nonlinear Constraint Solving S Dathathri, N Aréchiga, S Gao, RM Murray IJCAI 2017, 2017 | 7 | 2017 |
Inverse abstraction of neural networks using symbolic interpolation S Dathathri, S Gao, RM Murray Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 3437-3444, 2019 | 5 | 2019 |
Enhancing tolerance to unexpected jumps in GR (1) games S Dathathri, SC Livingston, RM Murray Proceedings of the 8th International Conference on Cyber-Physical Systems, 37-47, 2017 | 5 | 2017 |
Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables N Aréchiga, S Dathathri, S Vernekar, N Kathare, S Gao, S Shiraishi Proceedings of the 1st International Workshop on Safe Control of Connected …, 2017 | 4 | 2017 |
Measuring the Robustness of Neural Networks via Minimal Adversarial Examples S Dathathri, S Zheng, S Gao, R Murray Deep Learning: Bridging Theory and Practice, NIPS 2017 workshop, Long Beach …, 2017 | 4 | 2017 |