default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKrishnamurthy Dvijotham
Krishnamurthy Dj Dvijotham – Krishnamurthy (Dj) Dvijotham – Dj Dvijotham
Person information
- affiliation: Google DeepMind, London, UK
- affiliation (former): University of Washington, Dept. of Computer Science and Engineering, Seattle, WA, USA
- affiliation (former): California Institute of Technology, Department of Computing and Mathematical Sciences, Pasadena, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[i63]Ruigang Wang, Krishnamurthy Dvijotham, Ian R. Manchester:
Norm-Bounded Low-Rank Adaptation. CoRR abs/2501.19050 (2025)- 2024
- [j15]Krishnamurthy Dvijotham, Bala Krishnamoorthy
, Yunqi Luo, Benjamin Rapone:
Robust feasibility of systems of quadratic equations using topological degree theory. Optim. Lett. 18(2): 591-613 (2024) - [c62]Katherine M. Collins, Najoung Kim, Yonatan Bitton, Verena Rieser, Shayegan Omidshafiei, Yushi Hu, Sherol Chen, Senjuti Dutta, Minsuk Chang, Kimin Lee, Youwei Liang, Georgina Evans, Sahil Singla, Gang Li, Adrian Weller, Junfeng He, Deepak Ramachandran, Krishnamurthy Dj Dvijotham:
Beyond Thumbs Up/Down: Untangling Challenges of Fine-Grained Feedback for Text-to-Image Generation. AIES (1) 2024: 293-303 - [c61]Youwei Liang, Junfeng He, Gang Li, Peizhao Li, Arseniy Klimovskiy, Nicholas Carolan, Jiao Sun, Jordi Pont-Tuset, Sarah Young, Feng Yang, Junjie Ke, Krishnamurthy Dj Dvijotham, Katherine M. Collins, Yiwen Luo, Yang Li, Kai J. Kohlhoff, Deepak Ramachandran, Vidhya Navalpakkam:
Rich Human Feedback for Text-to-Image Generation. CVPR 2024: 19401-19411 - [c60]Krishnamurthy Dj Dvijotham, H. Brendan McMahan, Krishna Pillutla, Thomas Steinke, Abhradeep Thakurta:
Efficient and Near-Optimal Noise Generation for Streaming Differential Privacy. FOCS 2024: 2306-2317 - [c59]Christopher A. Choquette-Choo, Krishnamurthy Dj Dvijotham, Krishna Pillutla, Arun Ganesh, Thomas Steinke, Abhradeep Guha Thakurta:
Correlated Noise Provably Beats Independent Noise for Differentially Private Learning. ICLR 2024 - [c58]Kyuyoung Kim, Jongheon Jeong, Minyong An, Mohammad Ghavamzadeh, Krishnamurthy Dj Dvijotham, Jinwoo Shin, Kimin Lee:
Confidence-aware Reward Optimization for Fine-tuning Text-to-Image Models. ICLR 2024 - [c57]Alessandro De Palma, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio:
Expressive Losses for Verified Robustness via Convex Combinations. ICLR 2024 - [c56]Gavin Brown, Krishnamurthy Dj Dvijotham, Georgina Evans, Daogao Liu, Adam Smith, Abhradeep Guha Thakurta:
Private Gradient Descent for Linear Regression: Tighter Error Bounds and Instance-Specific Uncertainty Estimation. ICML 2024 - [c55]Nicholas Carlini, Daniel Paleka, Krishnamurthy Dj Dvijotham, Thomas Steinke, Jonathan Hayase, A. Feder Cooper, Katherine Lee, Matthew Jagielski, Milad Nasr, Arthur Conmy, Eric Wallace, David Rolnick, Florian Tramèr:
Stealing part of a production language model. ICML 2024 - [c54]Francisco Eiras, Adel Bibi, Rudy Bunel, Krishnamurthy Dj Dvijotham, Philip Torr, M. Pawan Kumar:
Efficient Error Certification for Physics-Informed Neural Networks. ICML 2024 - [c53]Ruigang Wang, Krishnamurthy Dj Dvijotham, Ian R. Manchester:
Monotone, Bi-Lipschitz, and Polyak-Łojasiewicz Networks. ICML 2024 - [i62]Jan Freyberg, Abhijit Guha Roy, Terry Spitz, Beverly Freeman, Mike Schaekermann, Patricia Strachan, Eva Schnider, Renee Wong, Dale R. Webster, Alan Karthikesalingam, Yun Liu, Krishnamurthy Dvijotham, Umesh Telang:
MINT: A wrapper to make multi-modal and multi-image AI models interactive. CoRR abs/2401.12032 (2024) - [i61]Ruigang Wang, Krishnamurthy Dvijotham, Ian R. Manchester:
Monotone, Bi-Lipschitz, and Polyak-Łojasiewicz Networks. CoRR abs/2402.01344 (2024) - [i60]Gavin Brown, Krishnamurthy Dvijotham, Georgina Evans, Daogao Liu, Adam Smith, Abhradeep Thakurta:
Private Gradient Descent for Linear Regression: Tighter Error Bounds and Instance-Specific Uncertainty Estimation. CoRR abs/2402.13531 (2024) - [i59]Senjuti Dutta, Sherol Chen, Sunny Mak, Amnah Ahmad, Katherine Maeve Collins, Alena Butryna, Deepak Ramachandran, Krishnamurthy Dvijotham, Ellie Pavlick, Ravi Rajakumar:
Understanding Subjectivity through the Lens of Motivational Context in Model-Generated Image Satisfaction. CoRR abs/2403.05576 (2024) - [i58]Nicholas Carlini, Daniel Paleka, Krishnamurthy (Dj) Dvijotham, Thomas Steinke, Jonathan Hayase, A. Feder Cooper, Katherine Lee, Matthew Jagielski, Milad Nasr, Arthur Conmy, Eric Wallace, David Rolnick, Florian Tramèr:
Stealing Part of a Production Language Model. CoRR abs/2403.06634 (2024) - [i57]Kyuyoung Kim, Jongheon Jeong, Minyong An, Mohammad Ghavamzadeh, Krishnamurthy Dvijotham, Jinwoo Shin, Kimin Lee:
Confidence-aware Reward Optimization for Fine-tuning Text-to-Image Models. CoRR abs/2404.01863 (2024) - [i56]Krishnamurthy Dvijotham, H. Brendan McMahan, Krishna Pillutla, Thomas Steinke, Abhradeep Thakurta:
Efficient and Near-Optimal Noise Generation for Streaming Differential Privacy. CoRR abs/2404.16706 (2024) - [i55]Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Alessandro De Palma, Robert Stanforth:
Verified Neural Compressed Sensing. CoRR abs/2405.04260 (2024) - [i54]Katherine M. Collins, Najoung Kim, Yonatan Bitton, Verena Rieser, Shayegan Omidshafiei, Yushi Hu, Sherol Chen, Senjuti Dutta, Minsuk Chang, Kimin Lee, Youwei Liang, Georgina Evans, Sahil Singla, Gang Li, Adrian Weller, Junfeng He, Deepak Ramachandran, Krishnamurthy Dj Dvijotham:
Beyond Thumbs Up/Down: Untangling Challenges of Fine-Grained Feedback for Text-to-Image Generation. CoRR abs/2406.16807 (2024) - [i53]Samuel Chevalier, Duncan Starkenburg, Krishnamurthy Dvijotham:
Achieving the Tightest Relaxation of Sigmoids for Formal Verification. CoRR abs/2408.10491 (2024) - 2023
- [c52]Kushal Chauhan, Rishabh Tiwari, Jan Freyberg, Pradeep Shenoy, Krishnamurthy Dvijotham:
Interactive Concept Bottleneck Models. AAAI 2023: 5948-5955 - [c51]Katherine Maeve Collins, Matthew Barker, Mateo Espinosa Zarlenga, Naveen Raman, Umang Bhatt, Mateja Jamnik, Ilia Sucholutsky, Adrian Weller, Krishnamurthy Dvijotham:
Human Uncertainty in Concept-Based AI Systems. AIES 2023: 869-889 - [c50]Nicholas Carlini, Florian Tramèr, Krishnamurthy (Dj) Dvijotham, Leslie Rice, Mingjie Sun, J. Zico Kolter:
(Certified!!) Adversarial Robustness for Free! ICLR 2023 - [c49]Jeremiah Zhe Liu, Krishnamurthy (Dj) Dvijotham, Jihyeon Lee, Quan Yuan, Balaji Lakshminarayanan, Deepak Ramachandran:
Pushing the Accuracy-Group Robustness Frontier with Introspective Self-play. ICLR 2023 - [c48]Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang:
Provably Bounding Neural Network Preimages. NeurIPS 2023 - [c47]Stephan Rabanser, Anvith Thudi, Abhradeep Guha Thakurta, Krishnamurthy Dvijotham, Nicolas Papernot:
Training Private Models That Know What They Don't Know. NeurIPS 2023 - [c46]Mateo Espinosa Zarlenga, Katie Collins, Krishnamurthy Dvijotham, Adrian Weller, Zohreh Shams, Mateja Jamnik:
Learning to Receive Help: Intervention-Aware Concept Embedding Models. NeurIPS 2023 - [i52]Suhas Kotha, Christopher Brix, Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang:
Provably Bounding Neural Network Preimages. CoRR abs/2302.01404 (2023) - [i51]Jeremiah Zhe Liu, Krishnamurthy (Dj) Dvijotham, Jihyeon Lee, Quan Yuan, Martin Strobel, Balaji Lakshminarayanan, Deepak Ramachandran:
Pushing the Accuracy-Group Robustness Frontier with Introspective Self-play. CoRR abs/2302.05807 (2023) - [i50]Katherine M. Collins, Matthew Barker, Mateo Espinosa Zarlenga, Naveen Raman, Umang Bhatt, Mateja Jamnik, Ilia Sucholutsky, Adrian Weller, Krishnamurthy Dvijotham:
Human Uncertainty in Concept-Based AI Systems. CoRR abs/2303.12872 (2023) - [i49]Zi Wang, Somesh Jha, Krishnamurthy Dvijotham:
Efficient Symbolic Reasoning for Neural-Network Verification. CoRR abs/2303.13588 (2023) - [i48]Francisco Eiras, Adel Bibi, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, Philip H. S. Torr, M. Pawan Kumar:
Provably Correct Physics-Informed Neural Networks. CoRR abs/2305.10157 (2023) - [i47]Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio:
Expressive Losses for Verified Robustness via Convex Combinations. CoRR abs/2305.13991 (2023) - [i46]Stephan Rabanser, Anvith Thudi, Abhradeep Thakurta, Krishnamurthy Dvijotham, Nicolas Papernot:
Training Private Models That Know What They Don't Know. CoRR abs/2305.18393 (2023) - [i45]Tom A. Lamb, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Philip H. S. Torr, Francisco Eiras:
Faithful Knowledge Distillation. CoRR abs/2306.04431 (2023) - [i44]Matthew Barker, Katherine M. Collins, Krishnamurthy Dvijotham, Adrian Weller, Umang Bhatt:
Selective Concept Models: Permitting Stakeholder Customisation at Test-Time. CoRR abs/2306.08424 (2023) - [i43]Mateo Espinosa Zarlenga, Katherine M. Collins, Krishnamurthy Dvijotham, Adrian Weller, Zohreh Shams, Mateja Jamnik:
Learning to Receive Help: Intervention-Aware Concept Embedding Models. CoRR abs/2309.16928 (2023) - [i42]Christopher A. Choquette-Choo, Krishnamurthy Dvijotham, Krishna Pillutla, Arun Ganesh, Thomas Steinke, Abhradeep Thakurta:
Correlated Noise Provably Beats Independent Noise for Differentially Private Learning. CoRR abs/2310.06771 (2023) - [i41]Jacob Eisenstein, Chirag Nagpal, Alekh Agarwal, Ahmad Beirami, Alex D'Amour, Dj Dvijotham, Adam Fisch, Katherine A. Heller, Stephen Pfohl, Deepak Ramachandran, Peter Shaw, Jonathan Berant:
Helping or Herding? Reward Model Ensembles Mitigate but do not Eliminate Reward Hacking. CoRR abs/2312.09244 (2023) - [i40]Youwei Liang, Junfeng He, Gang Li, Peizhao Li, Arseniy Klimovskiy, Nicholas Carolan, Jiao Sun, Jordi Pont-Tuset, Sarah Young, Feng Yang, Junjie Ke, Krishnamurthy Dj Dvijotham, Katie Collins, Yiwen Luo, Yang Li, Kai J. Kohlhoff, Deepak Ramachandran, Vidhya Navalpakkam:
Rich Human Feedback for Text-to-Image Generation. CoRR abs/2312.10240 (2023) - 2022
- [j14]Krishnamurthy Dvijotham, Yuval Rabani, Leonard J. Schulman:
Convergence of incentive-driven dynamics in Fisher markets. Games Econ. Behav. 134: 361-375 (2022) - [j13]Yu Weng, Suhyoun Yu, Krishnamurthy Dvijotham, Hung D. Nguyen:
Fixed-Point Theorem-Based Voltage Stability Margin Estimation Techniques for Distribution Systems With Renewables. IEEE Trans. Ind. Informatics 18(6): 3766-3776 (2022) - [c45]Elizabeth Bondi, Raphael Koster, Hannah Sheahan, Martin J. Chadwick, Yoram Bachrach, A. Taylan Cemgil, Ulrich Paquet, Krishnamurthy Dvijotham:
Role of Human-AI Interaction in Selective Prediction. AAAI 2022: 5286-5294 - [c44]David Stutz, Krishnamurthy Dvijotham, Ali Taylan Cemgil, Arnaud Doucet:
Learning Optimal Conformal Classifiers. ICLR 2022 - [c43]Olivia Wiles, Sven Gowal, Florian Stimberg, Sylvestre-Alvise Rebuffi, Ira Ktena, Krishnamurthy Dvijotham, Ali Taylan Cemgil:
A Fine-Grained Analysis on Distribution Shift. ICLR 2022 - [i39]Nicholas Carlini, Florian Tramèr, Krishnamurthy Dvijotham, J. Zico Kolter:
(Certified!!) Adversarial Robustness for Free! CoRR abs/2206.10550 (2022) - [i38]Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth:
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound. CoRR abs/2206.14772 (2022) - [i37]Kushal Chauhan, Rishabh Tiwari, Jan Freyberg, Pradeep Shenoy, Krishnamurthy Dvijotham:
Interactive Concept Bottleneck Models. CoRR abs/2212.07430 (2022) - 2021
- [j12]Haoxiang Yang, David P. Morton, Chaithanya Bandi, Krishnamurthy Dvijotham:
Robust Optimization for Electricity Generation. INFORMS J. Comput. 33(1): 336-351 (2021) - [c42]Harkirat Singh Behl, M. Pawan Kumar, Philip H. S. Torr, Krishnamurthy Dvijotham:
Overcoming the Convex Barrier for Simplex Inputs. NeurIPS 2021: 4871-4882 - [c41]Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar:
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications. NeurIPS 2021: 11136-11147 - [i36]Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar:
Verifying Probabilistic Specifications with Functional Lagrangians. CoRR abs/2102.09479 (2021) - [i35]Alessandro De Palma, Rudy Bunel, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar:
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition. CoRR abs/2104.06718 (2021) - [i34]David Stutz, Krishnamurthy Dvijotham, Ali Taylan Cemgil, Arnaud Doucet:
Learning Optimal Conformal Classifiers. CoRR abs/2110.09192 (2021) - [i33]Olivia Wiles, Sven Gowal, Florian Stimberg, Sylvestre-Alvise Rebuffi, Ira Ktena, Krishnamurthy Dvijotham, A. Taylan Cemgil:
A Fine-Grained Analysis on Distribution Shift. CoRR abs/2110.11328 (2021) - [i32]Elizabeth Bondi, Raphael Koster, Hannah Sheahan, Martin J. Chadwick, Yoram Bachrach, A. Taylan Cemgil, Ulrich Paquet, Krishnamurthy Dvijotham:
Role of Human-AI Interaction in Selective Prediction. CoRR abs/2112.06751 (2021) - 2020
- [j11]Navid Azizan, Yu Su, Krishnamurthy Dvijotham, Adam Wierman:
Optimal Pricing in Markets with Nonconvex Costs. Oper. Res. 68(2): 480-496 (2020) - [c40]Sven Gowal, Chongli Qin, Po-Sen Huang, A. Taylan Cemgil, Krishnamurthy Dvijotham, Timothy A. Mann, Pushmeet Kohli:
Achieving Robustness in the Wild via Adversarial Mixing With Disentangled Representations. CVPR 2020: 1208-1217 - [c39]A. Taylan Cemgil, Sumedh Ghaisas, Krishnamurthy (Dj) Dvijotham, Pushmeet Kohli:
Adversarially Robust Representations with Smooth Encoders. ICLR 2020 - [c38]Krishnamurthy (Dj) Dvijotham, Jamie Hayes, Borja Balle, J. Zico Kolter, Chongli Qin, András György, Kai Xiao, Sven Gowal, Pushmeet Kohli:
A Framework for robustness Certification of Smoothed Classifiers using F-Divergences. ICLR 2020 - [c37]Johannes Welbl, Po-Sen Huang, Robert Stanforth, Sven Gowal, Krishnamurthy (Dj) Dvijotham, Martin Szummer, Pushmeet Kohli:
Towards Verified Robustness under Text Deletion Interventions. ICLR 2020 - [c36]Tsui-Wei Weng, Krishnamurthy (Dj) Dvijotham, Jonathan Uesato, Kai Xiao, Sven Gowal, Robert Stanforth, Pushmeet Kohli:
Toward Evaluating Robustness of Deep Reinforcement Learning with Continuous Control. ICLR 2020 - [c35]Anton Zhernov, Krishnamurthy (Dj) Dvijotham, Ivan Lobov, Dan A. Calian, Michelle X. Gong, Natarajan Chandrashekar, Timothy A. Mann:
The NodeHopper: Enabling Low Latency Ranking with Constraints via a Fast Dual Solver. KDD 2020: 1285-1294 - [c34]Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham:
An efficient nonconvex reformulation of stagewise convex optimization problems. NeurIPS 2020 - [c33]A. Taylan Cemgil, Sumedh Ghaisas, Krishnamurthy Dvijotham, Sven Gowal, Pushmeet Kohli:
The Autoencoding Variational Autoencoder. NeurIPS 2020 - [c32]Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin, Aditi Raghunathan, Jonathan Uesato, Rudy Bunel, Shreya Shankar, Jacob Steinhardt, Ian J. Goodfellow, Percy Liang, Pushmeet Kohli:
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming. NeurIPS 2020 - [c31]Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar:
Lagrangian Decomposition for Neural Network Verification. UAI 2020: 370-379 - [i31]Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar:
Lagrangian Decomposition for Neural Network Verification. CoRR abs/2002.10410 (2020) - [i30]Sumanth Dathathri, Krishnamurthy Dvijotham, Alexey Kurakin, Aditi Raghunathan, Jonathan Uesato, Rudy Bunel, Shreya Shankar, Jacob Steinhardt, Ian J. Goodfellow, Percy Liang, Pushmeet Kohli:
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming. CoRR abs/2010.11645 (2020) - [i29]Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham:
An efficient nonconvex reformulation of stagewise convex optimization problems. CoRR abs/2010.14322 (2020) - [i28]Jamie Hayes, Krishnamurthy Dvijotham, Yutian Chen, Sander Dieleman, Pushmeet Kohli, Norman Casagrande:
Towards transformation-resilient provenance detection of digital media. CoRR abs/2011.07355 (2020) - [i27]A. Taylan Cemgil, Sumedh Ghaisas, Krishnamurthy Dvijotham, Sven Gowal, Pushmeet Kohli:
Autoencoding Variational Autoencoder. CoRR abs/2012.03715 (2020)
2010 – 2019
- 2019
- [j10]Dongchan Lee, Hung D. Nguyen, Krishnamurthy Dvijotham, Konstantin S. Turitsyn:
Convex Restriction of Power Flow Feasibility Sets. IEEE Trans. Control. Netw. Syst. 6(3): 1235-1245 (2019) - [j9]Hung D. Nguyen, Krishnamurthy Dvijotham, Suhyoun Yu, Konstantin S. Turitsyn:
A Framework for Robust Long-Term Voltage Stability of Distribution Systems. IEEE Trans. Smart Grid 10(5): 4827-4837 (2019) - [c30]Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli:
Knowing When to Stop: Evaluation and Verification of Conformity to Output-Size Specifications. CVPR 2019: 12260-12269 - [c29]Navid Azizan Ruhi, Yu Su, Krishnamurthy Dvijotham, Adam Wierman:
Optimal Pricing in Markets with Non-Convex Costs. EC 2019: 595 - [c28]Po-Sen Huang, Robert Stanforth, Johannes Welbl, Chris Dyer, Dani Yogatama, Sven Gowal, Krishnamurthy Dvijotham, Pushmeet Kohli:
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation. EMNLP/IJCNLP (1) 2019: 4081-4091 - [c27]Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Arthur Mann, Pushmeet Kohli:
Scalable Verified Training for Provably Robust Image Classification. ICCV 2019: 4841-4850 - [c26]Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli:
Verification of Non-Linear Specifications for Neural Networks. ICLR (Poster) 2019 - [c25]Jonathan Uesato, Ananya Kumar, Csaba Szepesvári, Tom Erez, Avraham Ruderman, Keith Anderson, Krishnamurthy (Dj) Dvijotham, Nicolas Heess, Pushmeet Kohli:
Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures. ICLR (Poster) 2019 - [c24]Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Timothy A. Mann, Pushmeet Kohli:
A Dual Approach to Verify and Train Deep Networks. IJCAI 2019: 6156-6160 - [c23]Chongli Qin, James Martens, Sven Gowal, Dilip Krishnan, Krishnamurthy Dvijotham, Alhussein Fawzi, Soham De, Robert Stanforth, Pushmeet Kohli:
Adversarial Robustness through Local Linearization. NeurIPS 2019: 13824-13833 - [c22]Krishnamurthy (Dj) Dvijotham, Robert Stanforth, Sven Gowal, Chongli Qin, Soham De, Pushmeet Kohli:
Efficient Neural Network Verification with Exactness Characterization. UAI 2019: 497-507 - [i26]Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli:
Verification of Non-Linear Specifications for Neural Networks. CoRR abs/1902.09592 (2019) - [i25]Chenglong Wang, Rudy Bunel, Krishnamurthy Dvijotham, Po-Sen Huang, Edward Grefenstette, Pushmeet Kohli:
Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specifications. CoRR abs/1904.12004 (2019) - [i24]Chongli Qin, James Martens, Sven Gowal, Dilip Krishnan, Krishnamurthy Dvijotham, Alhussein Fawzi, Soham De, Robert Stanforth, Pushmeet Kohli:
Adversarial Robustness through Local Linearization. CoRR abs/1907.02610 (2019) - [i23]Po-Sen Huang, Robert Stanforth, Johannes Welbl, Chris Dyer, Dani Yogatama, Sven Gowal, Krishnamurthy Dvijotham, Pushmeet Kohli:
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation. CoRR abs/1909.01492 (2019) - [i22]Sven Gowal, Chongli Qin, Po-Sen Huang, A. Taylan Cemgil, Krishnamurthy Dvijotham, Timothy A. Mann, Pushmeet Kohli:
Achieving Robustness in the Wild via Adversarial Mixing with Disentangled Representations. CoRR abs/1912.03192 (2019) - 2018
- [j8]Krishnamurthy Dvijotham, Hung D. Nguyen, Konstantin S. Turitsyn:
Solvability Regions of Affinely Parameterized Quadratic Equations. IEEE Control. Syst. Lett. 2(1): 25-30 (2018) - [j7]Navid Azizan Ruhi, Krishnamurthy Dvijotham, Niangjun Chen, Adam Wierman:
Opportunities for Price Manipulation by Aggregators in Electricity Markets. IEEE Trans. Smart Grid 9(6): 5687-5698 (2018) - [c21]Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy A. Mann, Pushmeet Kohli:
A Dual Approach to Scalable Verification of Deep Networks. UAI 2018: 550-559 - [c20]Vinod Nair, Dj Dvijotham, Iain Dunning, Oriol Vinyals:
Learning Fast Optimizers for Contextual Stochastic Integer Programs. UAI 2018: 591-600 - [i21]Gal Dalal, Krishnamurthy Dvijotham, Matej Vecerík, Todd Hester, Cosmin Paduraru, Yuval Tassa:
Safe Exploration in Continuous Action Spaces. CoRR abs/1801.08757 (2018) - [i20]Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy A. Mann, Pushmeet Kohli:
A Dual Approach to Scalable Verification of Deep Networks. CoRR abs/1803.06567 (2018) - [i19]Krishnamurthy Dvijotham, Sven Gowal, Robert Stanforth, Relja Arandjelovic, Brendan O'Donoghue, Jonathan Uesato, Pushmeet Kohli:
Training verified learners with learned verifiers. CoRR abs/1805.10265 (2018) - [i18]Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy A. Mann, Pushmeet Kohli:
On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models. CoRR abs/1810.12715 (2018) - [i17]Jonathan Uesato, Ananya Kumar, Csaba Szepesvári, Tom Erez, Avraham Ruderman, Keith Anderson, Krishnamurthy Dvijotham, Nicolas Heess, Pushmeet Kohli:
Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures. CoRR abs/1812.01647 (2018) - [i16]Krishnamurthy Dvijotham, Marta Garnelo, Alhussein Fawzi, Pushmeet Kohli:
Verification of deep probabilistic models. CoRR abs/1812.02795 (2018) - 2017
- [j6]Krishnamurthy Dvijotham, Michael Chertkov, Pascal Van Hentenryck, Marc Vuffray, Sidhant Misra:
Graphical models for optimal power flow. Constraints An Int. J. 22(1): 24-49 (2017) - [j5]Krishnamurthy Dvijotham, Enrique Mallada, John W. Simpson-Porco:
High-Voltage Solution in Radial Power Networks: Existence, Properties, and Equivalent Algorithms. IEEE Control. Syst. Lett. 1(2): 322-327 (2017) - [j4]Yujie Tang, Krishnamurthy Dvijotham, Steven H. Low:
Real-Time Optimal Power Flow. IEEE Trans. Smart Grid 8(6): 2963-2973 (2017) - [c19]Yujie Tang, Krishnamurthy Dvijotham, Steven H. Low:
Real-time OPF based on quasi-Newton methods. CISS 2017: 1 - [c18]Krishnamurthy Dvijotham, Yuval Rabani, Leonard J. Schulman:
Convergence of Incentive-Driven Dynamics in Fisher Markets. SODA 2017: 554-567 - [i15]Krishnamurthy Dvijotham, Hung D. Nguyen, Konstantin S. Turitsyn:
Solvability regions of affinely parameterized quadratic equations. CoRR abs/1703.08881 (2017) - 2016
- [j3]Navid Azizan Ruhi, Niangjun Chen, Krishnamurthy Dvijotham, Adam Wierman:
Opportunities for Price Manipulation by Aggregators in Electricity Markets. SIGMETRICS Perform. Evaluation Rev. 44(2): 49-51 (2016) - [c17]Krishnamurthy Dvijotham, Michael Chertkov, Steven H. Low:
Monotone operator approach to power flow solutions. ACC 2016: 1769 - [c16]Krishnamurthy Dvijotham, Daniel K. Molzahn:
Error bounds on the DC power flow approximation: A convex relaxation approach. CDC 2016: 2411-2418 - [i14]Krishnamurthy Dvijotham, Yuval Rabani, Leonard J. Schulman:
Market Dynamics of Best-Response with Lookahead. CoRR abs/1605.09012 (2016) - [i13]Navid Azizan Ruhi, Krishnamurthy Dvijotham, Niangjun Chen, Adam Wierman:
Opportunities for Price Manipulation by Aggregators in Electricity Markets. CoRR abs/1606.06510 (2016) - [i12]Krishnamurthy Dvijotham, Pascal Van Hentenryck, Michael Chertkov, Sidhant Misra, Marc Vuffray:
Graphical Models for Optimal Power Flow. CoRR abs/1606.06512 (2016) - 2015
- [j2]Krishnamurthy Dvijotham, Emanuel Todorov, Maryam Fazel:
Convex Structured Controller Design in Finite Horizon. IEEE Trans. Control. Netw. Syst. 2(1): 1-10 (2015) - [c15]Krishnamurthy Dvijotham:
Systems of quadratic equations: Efficient solution algorithms and conditions for solvability. Allerton 2015: 1027-1031 - [c14]Krishnamurthy Dvijotham, Michael Chertkov:
Convexity of structure preserving energy functions in power transmission: Novel results and applications. ACC 2015: 5035-5042 - [c13]Krishnamurthy Dvijotham, Michael Chertkov, Steven H. Low:
A differential analysis of the power flow equations. CDC 2015: 23-30 - [i11]Krishnamurthy Dvijotham, Marc Vuffray, Sidhant Misra, Michael Chertkov:
Natural Gas Flow Solutions with Guarantees: A Monotone Operator Theory Approach. CoRR abs/1506.06075 (2015) - [i10]Krishnamurthy Dvijotham, Konstantin S. Turitsyn:
Construction of power flow feasibility sets. CoRR abs/1506.07191 (2015) - [i9]Krishnamurthy Dvijotham, Steven H. Low, Michael Chertkov:
Solving the Power Flow Equations: A Monotone Operator Approach. CoRR abs/1506.08472 (2015) - [i8]Krishnamurthy Dvijotham, Michael Chertkov, Steven H. Low:
Solving the Power Flow Equations: A Monotone Operator Theory Approach. CoRR abs/1506.08814 (2015) - 2014
- [b1]Krishnamurthy Dvijotham:
Automating Stochastic Optimal Control. University of Washington, USA, 2014 - [c12]Krishnamurthy Dvijotham, Maryam Fazel, Emanuel Todorov:
Convex risk averse control design. CDC 2014: 4020-4025 - [c11]Krishnamurthy Dvijotham, Misha Chertkov, Scott Backhaus:
Storage Sizing and Placement through Operational and Uncertainty-Aware Simulations. HICSS 2014: 2408-2416 - [c10]Krishnamurthy Dvijotham, Maryam Fazel, Emanuel Todorov:
Universal Convexification via Risk-Aversion. UAI 2014: 162-171 - [i7]Krishnamurthy Dvijotham, Maryam Fazel, Emanuel Todorov:
Universal Convexification via Risk-Aversion. CoRR abs/1406.0554 (2014) - [i6]Scott Backhaus, Russell Bent, Daniel Bienstock, Michael Chertkov, Krishnamurthy Dvijotham:
Efficient Synchronization Stability Metrics for Fault Clearing. CoRR abs/1409.4451 (2014) - 2013
- [c9]Krishnamurthy Dvijotham, Emanuel Todorov, Maryam Fazel:
Convex control design via covariance minimization. Allerton 2013: 93-99 - [c8]Krishnamurthy Dvijotham, Evangelos A. Theodorou, Emanuel Todorov, Maryam Fazel:
Convexity of optimal linear controller design. CDC 2013: 2477-2482 - [c7]Evangelos A. Theodorou, Krishnamurthy Dvijotham, Emo Todorov:
Time varying nonlinear Policy Gradients. CDC 2013: 7765-7770 - [i5]Krishnamurthy Dvijotham, Scott Backhaus, Misha Chertkov:
Storage Sizing and Placement through Operational and Uncertainty-Aware Simulations. CoRR abs/1307.4143 (2013) - [i4]Krishnamurthy Dvijotham, Emanuel Todorov, Maryam Fazel:
Convex Structured Controller Design. CoRR abs/1309.7731 (2013) - 2012
- [c6]Krishnamurthy Dvijotham, Emo Todorov:
Linearly solvable Markov games. ACC 2012: 1845-1850 - [c5]Krishnamurthy Dvijotham, Scott Backhaus, Michael Chertkov:
Distributed control of generation in a transmission grid with a high penetration of renewables. SmartGridComm 2012: 635-640 - [i3]Krishnamurthy Dvijotham, Emanuel Todorov:
A Unifying Framework for Linearly Solvable Control. CoRR abs/1202.3715 (2012) - [i2]Krishnamurthy Dvijotham, Michael Chertkov, Scott Backhaus:
Distributed Control of Generation in a Transmission Grid with a High Penetration of Renewables. CoRR abs/1211.4555 (2012) - 2011
- [c4]Krishnamurthy Dvijotham, Emanuel Todorov:
A Unifying Framework for Linearly Solvable Control. UAI 2011: 179-186 - [i1]Krishnamurthy Dvijotham, Scott Backhaus, Misha Chertkov:
Operations-Based Planning for Placement and Sizing of Energy Storage in a Grid With a High Penetration of Renewables. CoRR abs/1107.1382 (2011) - 2010
- [c3]Krishnamurthy Dvijotham, Maryam Fazel:
A nullspace analysis of the nuclear norm heuristic for rank minimization. ICASSP 2010: 3586-3589 - [c2]Krishnamurthy Dvijotham, Emanuel Todorov:
Inverse Optimal Control with Linearly-Solvable MDPs. ICML 2010: 335-342
2000 – 2009
- 2008
- [j1]Krishnamurthy Dvijotham, Soumen Chakrabarti, Subhasis Chaudhuri:
New closed-form bounds on the partition function. Mach. Learn. 72(3): 205-229 (2008) - [c1]Krishnamurthy Dvijotham, Soumen Chakrabarti, Subhasis Chaudhuri:
New Closed-Form Bounds on the Partition Function. ECML/PKDD (1) 2008: 8
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
