Concepedia

Dvijotham

DV

Statistics

Publications

4

Citations

244

H-Index

4

Active since

2018

Affiliations

Google (United States)(Current)

Dvijotham is an author at Google (United States) specializing in adversarial machine learning, computer science, and engineering.

Top concepts

EngineeringVerificationDeep LearningComputer ScienceMachine LearningAdversarial Machine LearningData ScienceAutomated ReasoningFormal VerificationArtificial Intelligence

Publications per year

2018–2021

4

Publications

4

A Dual Approach to Scalable Verification of Deep Networks

Krishnamurthy, Dvijotham, Robert Stanforth et al. · arXiv (Cornell University) · 2018 · 172 citations · Full text

Mathematical Programming, Engineering, Machine Learning +16

Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures

Jonathan Uesato, Ananya Kumar, Csaba Szepesvári et al. · arXiv (Cornell University) · 2018 · 46 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +17

Verification of Non-Linear Specifications for Neural Networks

Chongli Qin, Krishnamurthy, Dvijotham et al. · arXiv (Cornell University) · 2019 · 15 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +16

Learning Optimal Conformal Classifiers

David Stutz, Krishnamurthy, Dvijotham et al. · arXiv (Cornell University) · 2021 · 11 citations · Full text

1–4 of 4