Krishnamurthy Dvijotham

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 81

Top Venues

CoRR

NeurIPS

CDC

IEEE Trans. Smart Grid

Publications

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 (2024)
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 (2024)
Krishnamurthy Dvijotham, Bala Krishnamoorthy, Yunqi Luo, Benjamin Rapone
Robust feasibility of systems of quadratic equations using topological degree theory. Optim. Lett. 18 (2) (2024)
Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Alessandro De Palma, Robert Stanforth
Verified Neural Compressed Sensing. CoRR (2024)
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 (2024)
Ruigang Wang, Krishnamurthy Dvijotham, Ian R. Manchester
Monotone, Bi-Lipschitz, and Polyak-Łojasiewicz Networks. CoRR (2024)
Krishnamurthy Dvijotham, H. Brendan McMahan, Krishna Pillutla, Thomas Steinke, Abhradeep Thakurta
Efficient and Near-Optimal Noise Generation for Streaming Differential Privacy. CoRR (2024)
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 (2024)
Matthew Barker, Katherine M. Collins, Krishnamurthy Dvijotham, Adrian Weller, Umang Bhatt
Selective Concept Models: Permitting Stakeholder Customisation at Test-Time. CoRR (2023)
Mateo Espinosa Zarlenga, Katherine M. Collins, Krishnamurthy Dvijotham, Adrian Weller, Zohreh Shams, Mateja Jamnik
Learning to Receive Help: Intervention-Aware Concept Embedding Models. CoRR (2023)
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)
Stephan Rabanser, Anvith Thudi, Abhradeep Guha Thakurta, Krishnamurthy Dvijotham, Nicolas Papernot
Training Private Models That Know What They Don't Know. NeurIPS (2023)
Suhas Kotha, Christopher Brix, Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang
Provably Bounding Neural Network Preimages. CoRR (2023)
Stephan Rabanser, Anvith Thudi, Abhradeep Thakurta, Krishnamurthy Dvijotham, Nicolas Papernot
Training Private Models That Know What They Don't Know. CoRR (2023)
Mateo Espinosa Zarlenga, Katie Collins, Krishnamurthy Dvijotham, Adrian Weller, Zohreh Shams, Mateja Jamnik
Learning to Receive Help: Intervention-Aware Concept Embedding Models. NeurIPS (2023)
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 (2023)
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
Expressive Losses for Verified Robustness via Convex Combinations. CoRR (2023)
Zi Wang, Somesh Jha, Krishnamurthy Dvijotham
Efficient Symbolic Reasoning for Neural-Network Verification. CoRR (2023)
Kushal Chauhan, Rishabh Tiwari, Jan Freyberg, Pradeep Shenoy, Krishnamurthy Dvijotham
Interactive Concept Bottleneck Models. AAAI (2023)
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 (2023)
Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang
Provably Bounding Neural Network Preimages. NeurIPS (2023)
Krishnamurthy Dvijotham, Yuval Rabani, Leonard J. Schulman
Convergence of incentive-driven dynamics in Fisher markets. Games Econ. Behav. 134 (2022)
Kushal Chauhan, Rishabh Tiwari, Jan Freyberg, Pradeep Shenoy, Krishnamurthy Dvijotham
Interactive Concept Bottleneck Models. CoRR (2022)
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)
Nicholas Carlini, Florian Tramèr, Krishnamurthy Dvijotham, J. Zico Kolter
(Certified!!) Adversarial Robustness for Free! CoRR (2022)
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)
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) (2022)
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound. CoRR (2022)
David Stutz, Krishnamurthy Dvijotham, Ali Taylan Cemgil, Arnaud Doucet
Learning Optimal Conformal Classifiers. ICLR (2022)
Haoxiang Yang, David P. Morton, Chaithanya Bandi, Krishnamurthy Dvijotham
Robust Optimization for Electricity Generation. INFORMS J. Comput. 33 (1) (2021)
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 (2021)
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)
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 (2021)
David Stutz, Krishnamurthy Dvijotham, Ali Taylan Cemgil, Arnaud Doucet
Learning Optimal Conformal Classifiers. CoRR (2021)
Olivia Wiles, Sven Gowal, Florian Stimberg, Sylvestre-Alvise Rebuffi, Ira Ktena, Krishnamurthy Dvijotham, A. Taylan Cemgil
A Fine-Grained Analysis on Distribution Shift. CoRR (2021)
Harkirat Singh Behl, M. Pawan Kumar, Philip H. S. Torr, Krishnamurthy Dvijotham
Overcoming the Convex Barrier for Simplex Inputs. NeurIPS (2021)
Leonard Berrada, Sumanth Dathathri, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Jonathan Uesato, Sven Gowal, M. Pawan Kumar
Verifying Probabilistic Specifications with Functional Lagrangians. CoRR (2021)
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)
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)
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 (2020)
Navid Azizan, Yu Su, Krishnamurthy Dvijotham, Adam Wierman
Optimal Pricing in Markets with Nonconvex Costs. Oper. Res. 68 (2) (2020)
Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham
An efficient nonconvex reformulation of stagewise convex optimization problems. CoRR (2020)
A. Taylan Cemgil, Sumedh Ghaisas, Krishnamurthy Dvijotham, Sven Gowal, Pushmeet Kohli
Autoencoding Variational Autoencoder. CoRR (2020)
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 (2020)
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)
Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham
An efficient nonconvex reformulation of stagewise convex optimization problems. NeurIPS (2020)
Jamie Hayes, Krishnamurthy Dvijotham, Yutian Chen, Sander Dieleman, Pushmeet Kohli, Norman Casagrande
Towards transformation-resilient provenance detection of digital media. CoRR (2020)
A. Taylan Cemgil, Sumedh Ghaisas, Krishnamurthy Dvijotham, Sven Gowal, Pushmeet Kohli
The Autoencoding Variational Autoencoder. NeurIPS (2020)
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) (2019)
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)
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 (2019)
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)
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)
Dongchan Lee, Hung D. Nguyen, Krishnamurthy Dvijotham, Konstantin S. Turitsyn
Convex Restriction of Power Flow Feasibility Sets. IEEE Trans. Control. Netw. Syst. 6 (3) (2019)
Navid Azizan Ruhi, Yu Su, Krishnamurthy Dvijotham, Adam Wierman
Optimal Pricing in Markets with Non-Convex Costs. EC (2019)
Chongli Qin, James Martens, Sven Gowal, Dilip Krishnan, Krishnamurthy Dvijotham, Alhussein Fawzi, Soham De, Robert Stanforth, Pushmeet Kohli
Adversarial Robustness through Local Linearization. CoRR (2019)
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)
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Timothy A. Mann, Pushmeet Kohli
A Dual Approach to Verify and Train Deep Networks. IJCAI (2019)
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 (2019)
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 (2019)
Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy A. Mann, Pushmeet Kohli
A Dual Approach to Scalable Verification of Deep Networks. UAI (2018)
Gal Dalal, Krishnamurthy Dvijotham, Matej Vecerík, Todd Hester, Cosmin Paduraru, Yuval Tassa
Safe Exploration in Continuous Action Spaces. CoRR (2018)
Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy A. Mann, Pushmeet Kohli
A Dual Approach to Scalable Verification of Deep Networks. CoRR (2018)
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 (2018)
Krishnamurthy Dvijotham, Marta Garnelo, Alhussein Fawzi, Pushmeet Kohli
Verification of deep probabilistic models. CoRR (2018)
Navid Azizan Ruhi, Krishnamurthy Dvijotham, Niangjun Chen, Adam Wierman
Opportunities for Price Manipulation by Aggregators in Electricity Markets. IEEE Trans. Smart Grid 9 (6) (2018)
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 (2018)
Krishnamurthy Dvijotham, Hung D. Nguyen, Konstantin S. Turitsyn
Solvability Regions of Affinely Parameterized Quadratic Equations. IEEE Control. Syst. Lett. 2 (1) (2018)
Krishnamurthy Dvijotham, Sven Gowal, Robert Stanforth, Relja Arandjelovic, Brendan O'Donoghue, Jonathan Uesato, Pushmeet Kohli
Training verified learners with learned verifiers. CoRR (2018)
Krishnamurthy Dvijotham, Hung D. Nguyen, Konstantin S. Turitsyn
Solvability regions of affinely parameterized quadratic equations. CoRR (2017)
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) (2017)
Krishnamurthy Dvijotham, Michael Chertkov, Pascal Van Hentenryck, Marc Vuffray, Sidhant Misra
Graphical models for optimal power flow. Constraints An Int. J. 22 (1) (2017)
Yujie Tang, Krishnamurthy Dvijotham, Steven Low
Real-Time Optimal Power Flow. IEEE Trans. Smart Grid 8 (6) (2017)
Yujie Tang, Krishnamurthy Dvijotham, Steven H. Low
Real-time OPF based on quasi-Newton methods. CISS (2017)
Krishnamurthy Dvijotham, Yuval Rabani, Leonard J. Schulman
Convergence of Incentive-Driven Dynamics in Fisher Markets. SODA (2017)
Navid Azizan Ruhi, Krishnamurthy Dvijotham, Niangjun Chen, Adam Wierman
Opportunities for Price Manipulation by Aggregators in Electricity Markets. CoRR (2016)
Krishnamurthy Dvijotham, Yuval Rabani, Leonard J. Schulman
Market Dynamics of Best-Response with Lookahead. CoRR (2016)
Krishnamurthy Dvijotham, Pascal Van Hentenryck, Michael Chertkov, Sidhant Misra, Marc Vuffray
Graphical Models for Optimal Power Flow. CoRR (2016)
Krishnamurthy Dvijotham, Daniel K. Molzahn
Error bounds on the DC power flow approximation: A convex relaxation approach. CDC (2016)
Krishnamurthy Dvijotham, Michael Chertkov, Steven H. Low
Monotone operator approach to power flow solutions. ACC (2016)
Navid Azizan Ruhi, Niangjun Chen, Krishnamurthy Dvijotham, Adam Wierman
Opportunities for Price Manipulation by Aggregators in Electricity Markets. SIGMETRICS Perform. Evaluation Rev. 44 (2) (2016)
Krishnamurthy Dvijotham, Emanuel Todorov, Maryam Fazel
Convex Structured Controller Design in Finite Horizon. IEEE Trans. Control. Netw. Syst. 2 (1) (2015)
Krishnamurthy Dvijotham, Michael Chertkov, Steven H. Low
Solving the Power Flow Equations: A Monotone Operator Theory Approach. CoRR (2015)
Krishnamurthy Dvijotham, Michael Chertkov, Steven H. Low
A differential analysis of the power flow equations. CDC (2015)
Krishnamurthy Dvijotham, Michael Chertkov
Convexity of structure preserving energy functions in power transmission: Novel results and applications. ACC (2015)
Krishnamurthy Dvijotham, Konstantin S. Turitsyn
Construction of power flow feasibility sets. CoRR (2015)
Krishnamurthy Dvijotham, Steven H. Low, Michael Chertkov
Solving the Power Flow Equations: A Monotone Operator Approach. CoRR (2015)
Krishnamurthy Dvijotham
Systems of quadratic equations: Efficient solution algorithms and conditions for solvability. Allerton (2015)
Krishnamurthy Dvijotham, Marc Vuffray, Sidhant Misra, Michael Chertkov
Natural Gas Flow Solutions with Guarantees: A Monotone Operator Theory Approach. CoRR (2015)
Krishnamurthy Dvijotham, Misha Chertkov, Scott Backhaus
Storage Sizing and Placement through Operational and Uncertainty-Aware Simulations. HICSS (2014)
Krishnamurthy Dvijotham, Maryam Fazel, Emanuel Todorov
Convex risk averse control design. CDC (2014)
Scott Backhaus, Russell Bent, Daniel Bienstock, Michael Chertkov, Krishnamurthy Dvijotham
Efficient Synchronization Stability Metrics for Fault Clearing. CoRR (2014)
Krishnamurthy Dvijotham, Maryam Fazel, Emanuel Todorov
Universal Convexification via Risk-Aversion. CoRR (2014)
Krishnamurthy Dvijotham, Maryam Fazel, Emanuel Todorov
Universal Convexification via Risk-Aversion. UAI (2014)
Evangelos A. Theodorou, Krishnamurthy Dvijotham, Emo Todorov
Time varying nonlinear Policy Gradients. CDC (2013)
Krishnamurthy Dvijotham, Evangelos A. Theodorou, Emanuel Todorov, Maryam Fazel
Convexity of optimal linear controller design. CDC (2013)
Krishnamurthy Dvijotham, Emanuel Todorov, Maryam Fazel
Convex control design via covariance minimization. Allerton (2013)
Krishnamurthy Dvijotham, Emanuel Todorov, Maryam Fazel
Convex Structured Controller Design. CoRR (2013)
Krishnamurthy Dvijotham, Scott Backhaus, Misha Chertkov
Storage Sizing and Placement through Operational and Uncertainty-Aware Simulations. CoRR (2013)
Krishnamurthy Dvijotham, Emo Todorov
Linearly solvable Markov games. ACC (2012)

Krishnamurthy Dvijotham.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Krishnamurthy Dvijotham