Krishnamurthy Dvijotham
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
13
Active years
2010–2023
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | AAAI | Interactive Concept Bottleneck Models. | Kushal Chauhan, Rishabh Tiwari, Jan Freyberg, Pradeep Shenoy, Krishnamurthy Dvijotham |
| 2023 | AIES | Human Uncertainty in Concept-Based AI Systems. | Katherine Maeve Collins, Matthew Barker, Mateo Espinosa Zarlenga, Naveen Raman, Umang Bhatt, Mateja Jamnik, Ilia Sucholutsky, Adrian Weller, Krishnamurthy Dvijotham |
| 2022 | AAAI | Role of Human-AI Interaction in Selective Prediction. | Elizabeth Bondi, Raphael Koster, Hannah Sheahan, Martin J. Chadwick, Yoram Bachrach, A. Taylan Cemgil, Ulrich Paquet, Krishnamurthy Dvijotham |
| 2022 | ICLR | Learning Optimal Conformal Classifiers. | David Stutz, Krishnamurthy Dvijotham, Ali Taylan Cemgil, Arnaud Doucet |
| 2022 | ICLR | A Fine-Grained Analysis on Distribution Shift. | Olivia Wiles, Sven Gowal, Florian Stimberg, Sylvestre-Alvise Rebuffi, Ira Ktena, Krishnamurthy Dvijotham, Ali Taylan Cemgil |
| 2020 | CVPR | Achieving Robustness in the Wild via Adversarial Mixing With Disentangled Representations. | Sven Gowal, Chongli Qin, Po-Sen Huang, A. Taylan Cemgil, Krishnamurthy Dvijotham, Timothy A. Mann, Pushmeet Kohli |
| 2020 | UAI | Lagrangian Decomposition for Neural Network Verification. | Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar |
| 2019 | CVPR | Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications. | Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli |
| 2019 | EC | Optimal Pricing in Markets with Non-Convex Costs. | Navid Azizan Ruhi, Yu Su, Krishnamurthy Dvijotham, Adam Wierman |
| 2019 | EMNLP | Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation. | Po-Sen Huang, Robert Stanforth, Johannes Welbl, Chris Dyer, Dani Yogatama, Sven Gowal, Krishnamurthy Dvijotham, Pushmeet Kohli |
| 2019 | ICCV | Scalable Verified Training for Provably Robust Image Classification. | Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Arthur Mann, Pushmeet Kohli |
| 2019 | IJCAI | A Dual Approach to Verify and Train Deep Networks. | Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Timothy A. Mann, Pushmeet Kohli |
| 2018 | UAI | A Dual Approach to Scalable Verification of Deep Networks. | Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy A. Mann, Pushmeet Kohli |
| 2017 | CISS | Real-time OPF based on quasi-Newton methods. | Yujie Tang, Krishnamurthy Dvijotham, Steven H. Low |
| 2017 | SODA | Convergence of Incentive-Driven Dynamics in Fisher Markets. | Krishnamurthy Dvijotham, Yuval Rabani, Leonard J. Schulman |
| 2014 | UAI | Universal Convexification via Risk-Aversion. | Krishnamurthy Dvijotham, Maryam Fazel, Emanuel Todorov |
| 2011 | UAI | A Unifying Framework for Linearly Solvable Control. | Krishnamurthy Dvijotham, Emanuel Todorov |
| 2010 | ICASSP | A nullspace analysis of the nuclear norm heuristic for rank minimization. | Krishnamurthy Dvijotham, Maryam Fazel |
| 2010 | ICML | Inverse Optimal Control with Linearly-Solvable MDPs. | Krishnamurthy Dvijotham, Emanuel Todorov |