Dathathri, Sumanth

7 publications

NeurIPS 2022 Characteristics of Harmful Text: Towards Rigorous Benchmarking of Language Models Maribeth Rauh, John Mellor, Jonathan Uesato, Po-Sen Huang, Johannes Welbl, Laura Weidinger, Sumanth Dathathri, Amelia Glaese, Geoffrey Irving, Iason Gabriel, William Isaac, Lisa Anne Hendricks

NeurIPS 2021 Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy R Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar

NeurIPS 2020 Enabling Certification of Verification-Agnostic Networks via Memory-Efficient Semidefinite Programming Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin, Aditi Raghunathan, Jonathan Uesato, Rudy R Bunel, Shreya Shankar, Jacob Steinhardt, Ian Goodfellow, Percy Liang, Pushmeet Kohli

ICLR 2020 Plug and Play Language Models: A Simple Approach to Controlled Text Generation Sumanth Dathathri, Andrea Madotto, Janice Lan, Jane Hung, Eric Frank, Piero Molino, Jason Yosinski, Rosanne Liu

CoRL 2019 Counter-Example Guided Learning of Bounds on Environment Behavior Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray

AAAI 2019 Inverse Abstraction of Neural Networks Using Symbolic Interpolation Sumanth Dathathri, Sicun Gao, Richard M. Murray

IJCAI 2017 Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri, Nikos Aréchiga, Sicun Gao, Richard M. Murray