Krishnamurthy (Dj) Dvijotham
Identifiers
No identifiers captured yet.
Papers (2)
- Verification of Non-Linear Specifications for Neural Networks cs.LG · 2019 · author #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