Sumanth Dathathri

Affiliations:
  • California Institute of Technology


According to our database1, Sumanth Dathathri authored at least 20 papers between 2016 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Consensus, dissensus and synergy between clinicians and specialist foundation models in radiology report generation.
CoRR, 2023

2022
Improving alignment of dialogue agents via targeted human judgements.
CoRR, 2022

Characteristics of Harmful Text: Towards Rigorous Benchmarking of Language Models.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021
Scaling Language Models: Methods, Analysis & Insights from Training Gopher.
CoRR, 2021

Verifying Probabilistic Specifications with Functional Lagrangians.
CoRR, 2021

Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Challenges in Detoxifying Language Models.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

2020
Robust Constrained Reinforcement Learning for Continuous Control with Model Misspecification.
CoRR, 2020

Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Plug and Play Language Models: A Simple Approach to Controlled Text Generation.
Proceedings of the 8th International Conference on Learning Representations, 2020

Plug-and-Play Conversational Models.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2020, 2020

2019
Counter-example Guided Learning of Bounds on Environment Behavior.
Proceedings of the 3rd Annual Conference on Robot Learning, 2019

Inverse Abstraction of Neural Networks Using Symbolic Interpolation.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Detecting Adversarial Examples via Neural Fingerprinting.
CoRR, 2018

2017
Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States.
Proceedings of the Robotics Research, The 18th International Symposium, 2017

Learning-Based Abstractions for Nonlinear Constraint Solving.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Enhancing tolerance to unexpected jumps in GR(1) games.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables.
Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, 2017

Decomposing GR(1) games with singleton liveness guarantees for efficient synthesis.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox.
Proceedings of the 2016 IEEE Conference on Control Applications, 2016


  Loading...