Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKrishnamurthy Dvijotham
Krishnamurthy (Dj) Dvijotham
Person information
- affiliation: Google DeepMind, London, UK
- affiliation: University of Washington, Dept. of Computer Science and Engineering, Seattle, WA, USA
- affiliation: 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
Books and Theses
- 2014
[b1]Krishnamurthy Dvijotham:
Automating Stochastic Optimal Control. University of Washington, USA, 2014
Journal Articles
- 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) - 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) - 2021
- [j12]Haoxiang Yang, David P. Morton, Chaithanya Bandi, Krishnamurthy Dvijotham:
Robust Optimization for Electricity Generation. INFORMS J. Comput. 33(1): 336-351 (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) - 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) - 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) - 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) - 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) - 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) - 2008
- [j1]Krishnamurthy Dvijotham, Soumen Chakrabarti, Subhasis Chaudhuri:
New closed-form bounds on the partition function. Mach. Learn. 72(3): 205-229 (2008)
Conference and Workshop Papers
- 2023
- [c51]Kushal Chauhan, Rishabh Tiwari, Jan Freyberg, Pradeep Shenoy, Krishnamurthy Dvijotham:
Interactive Concept Bottleneck Models. AAAI 2023: 5948-5955 - [c50]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 - [c49]Nicholas Carlini, Florian Tramèr, Krishnamurthy (Dj) Dvijotham, Leslie Rice, Mingjie Sun, J. Zico Kolter:
(Certified!!) Adversarial Robustness for Free! ICLR 2023 - [c48]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 - [c47]Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang:
Provably Bounding Neural Network Preimages. NeurIPS 2023 - [c46]Stephan Rabanser, Anvith Thudi, Abhradeep Guha Thakurta, Krishnamurthy Dvijotham, Nicolas Papernot:
Training Private Models That Know What They Don't Know. NeurIPS 2023 - [c45]Mateo Espinosa Zarlenga, Katie Collins, Krishnamurthy Dvijotham, Adrian Weller, Zohreh Shams, Mateja Jamnik:
Learning to Receive Help: Intervention-Aware Concept Embedding Models. NeurIPS 2023 - 2022
- [c44]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 - [c43]David Stutz, Krishnamurthy Dvijotham, Ali Taylan Cemgil, Arnaud Doucet:
Learning Optimal Conformal Classifiers. ICLR 2022 - [c42]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 - 2021
- [c41]Harkirat Singh Behl, M. Pawan Kumar, Philip H. S. Torr, Krishnamurthy Dvijotham:
Overcoming the Convex Barrier for Simplex Inputs. NeurIPS 2021: 4871-4882 - [c40]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 - 2020
- [c39]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 - [c38]A. Taylan Cemgil, Sumedh Ghaisas, Krishnamurthy (Dj) Dvijotham, Pushmeet Kohli:
Adversarially Robust Representations with Smooth Encoders. ICLR 2020 - [c37]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 - [c36]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 - [c35]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 - [c34]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 - [c33]Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham:
An efficient nonconvex reformulation of stagewise convex optimization problems. NeurIPS 2020 - [c32]A. Taylan Cemgil, Sumedh Ghaisas, Krishnamurthy Dvijotham, Sven Gowal, Pushmeet Kohli:
The Autoencoding Variational Autoencoder. NeurIPS 2020 - [c31]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 - [c30]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 - 2019
- [c29]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 - [c28]Navid Azizan Ruhi, Yu Su, Krishnamurthy Dvijotham, Adam Wierman:
Optimal Pricing in Markets with Non-Convex Costs. EC 2019: 595 - [c27]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 - [c26]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 - [c25]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 - [c24]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 - [c23]Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Timothy A. Mann, Pushmeet Kohli:
A Dual Approach to Verify and Train Deep Networks. IJCAI 2019: 6156-6160 - [c22]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 - [c21]Krishnamurthy (Dj) Dvijotham, Robert Stanforth, Sven Gowal, Chongli Qin, Soham De, Pushmeet Kohli:
Efficient Neural Network Verification with Exactness Characterization. UAI 2019: 497-507 - 2018
- [c20]Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy A. Mann, Pushmeet Kohli:
A Dual Approach to Scalable Verification of Deep Networks. UAI 2018: 550-559 - 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 - 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 - 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 - 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 - 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 - 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 - 2011
- [c4]Krishnamurthy Dvijotham, Emanuel Todorov:
A Unifying Framework for Linearly Solvable Control. UAI 2011: 179-186 - 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 - 2008
- [c1]Krishnamurthy Dvijotham, Soumen Chakrabarti, Subhasis Chaudhuri:
New Closed-Form Bounds on the Partition Function. ECML/PKDD (1) 2008: 8
Informal and Other Publications
- 2024
- [i55]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) - [i54]Ruigang Wang, Krishnamurthy Dvijotham, Ian R. Manchester:
Monotone, Bi-Lipschitz, and Polyak-Łojasiewicz Networks. CoRR abs/2402.01344 (2024) - [i53]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) - [i52]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) - [i51]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) - 2023
- [i50]Suhas Kotha, Christopher Brix, Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang:
Provably Bounding Neural Network Preimages. CoRR abs/2302.01404 (2023) - [i49]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) - [i48]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) - [i47]Zi Wang, Somesh Jha, Krishnamurthy Dvijotham:
Efficient Symbolic Reasoning for Neural-Network Verification. CoRR abs/2303.13588 (2023) - [i46]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) - [i45]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) - [i44]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) - [i43]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) - [i42]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) - [i41]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) - [i40]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) - 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
- [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
- [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) - 2019
- [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
- [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
- [i15]Krishnamurthy Dvijotham, Hung D. Nguyen, Konstantin S. Turitsyn:
Solvability regions of affinely parameterized quadratic equations. CoRR abs/1703.08881 (2017) - 2016
- [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
- [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
- [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
- [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
- [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
- [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)
Coauthor Index
a service of 
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 2024-04-25 02:21 CEST 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:
