Sumanth Dathathri
9 papers · 2017–2022 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (24) π Conference Polyglot Β· Silver
π§
Keyword Pioneer
π
Trend Setter
π
Conference Pioneer
π
Renaissance Researcher
(5)
Top co-authors
Research topics
Artificial Intelligence
(6)
Core AI
(6)
Machine Learning
(5)
Deep Learning
(4)
Natural Language Processing
(3)
Optimization & Theory
(3)
Application Areas
(2)
Generation Β· Natural Language Processing
(2)
Computer Vision
(1)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Applications
(1)
Generation Β· Computer Vision
(1)
Learning Types Β· Machine Learning
(1)
Learning Types Β· Deep Learning
(1)
Keywords
neural network verification
(3)
large language model
(2)
symbolic abstraction
(2)
toxicity detection
(2)
adversarial robustness
(2)
language model
(2)
language model evaluation
(1)
convex relaxation
(1)
constraint solving
(1)
formal verification
(1)
harmful content
(1)
machine learning
(1)
bias mitigation
(1)
text generation
(1)
abstraction refinement
(1)
first-order method
(1)
out-of-distribution detection
(1)
controllable generation
(1)
bayesian neural network
(1)
responsible ai
(1)
Papers
Characteristics of Harmful Text: Towards Rigorous Benchmarking of Language Models
NeurIPS 2022
Challenges in Detoxifying Language Models
EMNLP 2021
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
NeurIPS 2021
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
NeurIPS 2020
Plug-and-Play Conversational Models
EMNLP 2020
Plug and Play Language Models: A Simple Approach to Controlled Text Generation
ICLR 2020
Counter-example Guided Learning of Bounds on Environment Behavior
CoRL 2019
Inverse Abstraction of Neural Networks Using Symbolic Interpolation
AAAI 2019
Learning-Based Abstractions for Nonlinear Constraint Solving
IJCAI 2017