Krishnamurthy (Dj) Dvijotham

Identifiers

No identifiers captured yet.

Papers (2)

1. Verification of Non-Linear Specifications for Neural Networks cs.LG · 2019 · author #2
2. A Dual Approach to Scalable Verification of Deep Networks cs.LG · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Pushmeet Kohli 2 shared papers
• Robert Stanforth 2 shared papers
• Sven Gowal 2 shared papers
• Brendan O'Donoghue 1 shared papers
• Chongli Qin 1 shared papers
• Grzegorz Swirszcz 1 shared papers
• Jonathan Uesato 1 shared papers
• Rudy Bunel 1 shared papers
• Timothy Mann 1 shared papers