Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. - Ioannis Filippidis; Sumanth Dathathri; Scott C. Livingston; Necmiye Ozay; Richard M. Murray (CCA, 2016)

Decomposing GR(1) games with singleton liveness guarantees for efficient synthesis. - Sumanth Dathathri; Richard M. Murray (CDC, 2017)

Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables. - Nikos Aréchiga; Sumanth Dathathri; Shashank Vernekar; Nagesh Kathare; Sicun Gao; Shinichi Shiraishi (SCAV@CPSWeek, 2017)

Enhancing tolerance to unexpected jumps in GR(1) games. - Sumanth Dathathri; Scott C. Livingston; Richard M. Murray (ICCPS, 2017)

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

Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States. - Sumanth Dathathri; Ioannis Filippidis; Richard M. Murray (ISRR, 2017)

Detecting Adversarial Examples via Neural Fingerprinting. - Sumanth Dathathri; Stephan Zheng; Richard M. Murray; Yisong Yue (CoRR, 2018)

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

Counter-example Guided Learning of Bounds on Environment Behavior. - Yuxiao Chen 001; Sumanth Dathathri; Tung Phan-Minh; Richard M. Murray (CoRL, 2019)

Plug-and-Play Conversational Models. - Andrea Madotto; Etsuko Ishii; Zhaojiang Lin; Sumanth Dathathri; Pascale Fung (EMNLP (Findings), 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 (ICLR, 2020)

Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming. - Sumanth Dathathri; Krishnamurthy Dvijotham; Alexey Kurakin; Aditi Raghunathan; Jonathan Uesato; Rudy Bunel; Shreya Shankar; Jacob Steinhardt; Ian J. Goodfellow; Percy Liang; Pushmeet Kohli (NeurIPS, 2020)

Robust Constrained Reinforcement Learning for Continuous Control with Model Misspecification. - Daniel J. Mankowitz; Dan A. Calian; Rae Jeong; Cosmin Paduraru; Nicolas Heess; Sumanth Dathathri; Martin A. Riedmiller; Timothy A. Mann (CoRR, 2020)

Challenges in Detoxifying Language Models. - Johannes Welbl; Amelia Glaese; Jonathan Uesato; Sumanth Dathathri; John Mellor; Lisa Anne Hendricks; Kirsty Anderson; Pushmeet Kohli; Ben Coppin; Po-Sen Huang (EMNLP (Findings), 2021)

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

Verifying Probabilistic Specifications with Functional Lagrangians. - Leonard Berrada; Sumanth Dathathri; Krishnamurthy Dvijotham; Robert Stanforth; Rudy Bunel; Jonathan Uesato; Sven Gowal; M. Pawan Kumar (CoRR, 2021)

Scaling Language Models: Methods, Analysis & Insights from Training Gopher. - Jack W. Rae; Sebastian Borgeaud; Trevor Cai; Katie Millican; Jordan Hoffmann; H. Francis Song; John Aslanides; Sarah Henderson; Roman Ring; Susannah Young; Eliza Rutherford; Tom Hennigan; et al. (CoRR, 2021)

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 001; Lisa Anne Hendricks (NeurIPS, 2022)

Improving alignment of dialogue agents via targeted human judgements. - Amelia Glaese; Nat McAleese; Maja Trebacz; John Aslanides; Vlad Firoiu; Timo Ewalds; Maribeth Rauh; Laura Weidinger; Martin J. Chadwick; Phoebe Thacker; Lucy Campbell-Gillingham; Jonathan Uesato; et al. (CoRR, 2022)

Consensus, dissensus and synergy between clinicians and specialist foundation models in radiology report generation. - Ryutaro Tanno; David G. T. Barrett; Andrew Sellergren; Sumedh Ghaisas; Sumanth Dathathri; Abigail See; Johannes Welbl; Karan Singhal; Shekoofeh Azizi; Tao Tu 001; Mike Schaekermann; Rhys May; et al. (CoRR, 2023)

Scalable watermarking for identifying large language model outputs. - Sumanth Dathathri; Abigail See; Sumedh Ghaisas; Po-Sen Huang; Rob McAdam; Johannes Welbl; Vandana Bachani; Alex Kaskasoli; Robert Stanforth; Tatiana Matejovicova; Jamie Hayes; Nidhi Vyas; et al. (Nat., 2024)

Watermarking Needs Input Repetition Masking. - David Khachaturov; Robert D. Mullins; Ilia Shumailov; Sumanth Dathathri (CoRR, 2025)