Malice in Agentland: Down the Rabbit Hole of Backdoors in the AI Supply Chain.

Krishnamurthy Dvijotham Krishnamurthy Dj Dvijotham Krishnamurthy (Dj) Dvijotham Dj Dvijotham Google DeepMind, London, UK University of Washington, Dept. of Computer Science and Engineering, Seattle, WA, USA California Institute of Technology, Department of Computing and Mathematical Sciences, Pasadena, CA, USA https://dvij.github.io/ http://www.cs.washington.edu/homes/dvij/ https://scholar.google.com/citations?user=1tOFY1IAAAAJ https://openreview.net/profile?id=~Krishnamurthy_Dj_Dvijotham1 https://orcid.org/0000-0002-1328-4677 https://www.wikidata.org/entity/Q59674874 Léo Boisvert Abhay Puri Chandra Kiran Reddy Evuru Nazanin Mohammadi Sepahvand Nicolas Chapados Quentin Cappart Alexandre Lacoste Krishnamurthy Dvijotham Alexandre Drouin Jason Stanley Malice in Agentland: Down the Rabbit Hole of Backdoors in the AI Supply Chain. 755-772 2026 CAIS https://doi.org/10.1145/3786335.3813166 conf/cais/2026 db/conf/cais/cais2026.html#BoisvertPESCCLD26

Minbeom Kim Mihir Parmar Phillip Wallis Lesly Miculicich Kyomin Jung Krishnamurthy Dj Dvijotham Long T. Le Tomas Pfister CausalArmor: Efficient Indirect Prompt Injection Guardrails via Causal Attribution. 2026 February abs/2602.07918 CoRR https://doi.org/10.48550/arXiv.2602.07918 db/journals/corr/corr2602.html#abs-2602-07918 streams/journals/corr

Danniell Hu Diana Acosta-Navas Susanne Gaube Hussein Mozannar Matthew E. Taylor Krishnamurthy Dvijotham Elizabeth Bondi-Kelly Human at the Center: A Framework for Human-Driven AI Development. 2025 46 AI Mag. 4 https://doi.org/10.1002/aaai.70043 db/journals/aim/aim46.html#HuAGMTDB25 streams/journals/aim

Shubham Agarwal Gaurav Sahu Abhay Puri Issam H. Laradji Krishnamurthy Dj Dvijotham Jason Stanley Laurent Charlin Christopher Pal LitLLMs, LLMs for Literature Review: Are we there yet? 2025 2025 Trans. Mach. Learn. Res. https://openreview.net/forum?id=heeJqQXKg7 db/journals/tmlr/tmlr2025.html#AgarwalSPLDSCP25

Avinandan Bose Laurent Lessard Maryam Fazel Krishnamurthy Dj Dvijotham Keeping up with dynamic attackers: Certifying robustness to adaptive online data poisoning. 4438-4446 2025 AISTATS https://proceedings.mlr.press/v258/bose25b.html conf/aistats/2025 db/conf/aistats/aistats2025.html#BoseLFD25 streams/conf/aistats

Ruigang Wang Krishnamurthy Dvijotham Ian R. Manchester Norm-Bounded Low-Rank Adaptation. 2025 January abs/2501.19050 CoRR https://doi.org/10.48550/arXiv.2501.19050 db/journals/corr/corr2501.html#abs-2501-19050 streams/journals/corr

Avinandan Bose Laurent Lessard Maryam Fazel Krishnamurthy Dj Dvijotham Keeping up with dynamic attackers: Certifying robustness to adaptive online data poisoning. 2025 February abs/2502.16737 CoRR https://doi.org/10.48550/arXiv.2502.16737 db/journals/corr/corr2502.html#abs-2502-16737 streams/journals/corr

Sharon Lin Krishnamurthy Dvijotham Jamie Hayes Chongyang Shi 0003 Ilia Shumailov Shuang Song 0001 Large Language Models Can Verbatim Reproduce Long Malicious Sequences. 2025 March abs/2503.17578 CoRR https://doi.org/10.48550/arXiv.2503.17578 db/journals/corr/corr2503.html#abs-2503-17578 streams/journals/corr

Léo Boisvert Mihir Bansal Chandra Kiran Reddy Evuru Gabriel Huang Abhay Puri Avinandan Bose Maryam Fazel Quentin Cappart Jason Stanley Alexandre Lacoste Alexandre Drouin Krishnamurthy Dvijotham DoomArena: A framework for Testing AI Agents Against Evolving Security Threats. 2025 April abs/2504.14064 CoRR https://doi.org/10.48550/arXiv.2504.14064 db/journals/corr/corr2504.html#abs-2504-14064 streams/journals/corr

Sarthak Choudhary Nils Palumbo Ashish Hooda Krishnamurthy Dj Dvijotham Somesh Jha Through the Stealth Lens: Rethinking Attacks and Defenses in RAG. 2025 June abs/2506.04390 CoRR https://doi.org/10.48550/arXiv.2506.04390 db/journals/corr/corr2506.html#abs-2506-04390 streams/journals/corr

Krishna Pillutla Jalaj Upadhyay Christopher A. Choquette-Choo Krishnamurthy Dvijotham Arun Ganesh Monika Henzinger Jonathan Katz Ryan McKenna H. Brendan McMahan Keith Rush Thomas Steinke 0002 Abhradeep Thakurta Correlated Noise Mechanisms for Differentially Private Learning. 2025 June abs/2506.08201 CoRR https://doi.org/10.48550/arXiv.2506.08201 db/journals/corr/corr2506.html#abs-2506-08201 streams/journals/corr

Frederick Shpilevskiy Saiyue Lyu Krishnamurthy Dj Dvijotham Mathias Lécuyer Pierre-André Noël Adaptive Diffusion Denoised Smoothing : Certified Robustness via Randomized Smoothing with Differentially Private Guided Denoising Diffusion. 2025 July abs/2507.08163 CoRR https://doi.org/10.48550/arXiv.2507.08163 db/journals/corr/corr2507.html#abs-2507-08163 streams/journals/corr

Lesly Miculicich Mihir Parmar Hamid Palangi Krishnamurthy Dj Dvijotham Mirko Montanari Tomas Pfister Long T. Le VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation. 2025 October abs/2510.05156 CoRR https://doi.org/10.48550/arXiv.2510.05156 db/journals/corr/corr2510.html#abs-2510-05156 streams/journals/corr

Léo Boisvert Abhay Puri Chandra Kiran Reddy Evuru Nicolas Chapados Quentin Cappart Alexandre Lacoste Krishnamurthy Dj Dvijotham Alexandre Drouin Malice in Agentland: Down the Rabbit Hole of Backdoors in the AI Supply Chain. 2025 October abs/2510.05159 CoRR https://doi.org/10.48550/arXiv.2510.05159 db/journals/corr/corr2510.html#abs-2510-05159 streams/journals/corr

Rishika Bhagwatkar Kevin Kasa Abhay Puri Gabriel Huang Irina Rish Graham W. Taylor Krishnamurthy Dj Dvijotham Alexandre Lacoste Indirect Prompt Injections: Are Firewalls All You Need, or Stronger Benchmarks? 2025 October abs/2510.05244 CoRR https://doi.org/10.48550/arXiv.2510.05244 db/journals/corr/corr2510.html#abs-2510-05244 streams/journals/corr

Krishnamurthy Dvijotham Bala Krishnamoorthy Yunqi Luo Benjamin Rapone Robust feasibility of systems of quadratic equations using topological degree theory. 591-613 2024 March 18 Optim. Lett. 2 https://doi.org/10.1007/s11590-023-02015-7 db/journals/ol/ol18.html#DvijothamKLR24

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 0005 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. 293-303 2024 AIES (1) https://doi.org/10.1609/aies.v7i1.31637 conf/aies/2024-1 db/conf/aies/aies2024-1.html#CollinsKBROHCDC24 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. 19401-19411 2024 CVPR https://doi.org/10.1109/CVPR52733.2024.01835 conf/cvpr/2024 db/conf/cvpr/cvpr2024.html#LiangHLLKCSPYYK24 Krishnamurthy Dj Dvijotham H. Brendan McMahan Krishna Pillutla Thomas Steinke 0001 Abhradeep Thakurta Efficient and Near-Optimal Noise Generation for Streaming Differential Privacy. 2306-2317 2024 FOCS https://doi.org/10.1109/FOCS61266.2024.00135 conf/focs/2024 db/conf/focs/focs2024.html#DvijothamMP0T24 Christopher A. Choquette-Choo Krishnamurthy Dj Dvijotham Krishna Pillutla Arun Ganesh Thomas Steinke 0002 Abhradeep Guha Thakurta Correlated Noise Provably Beats Independent Noise for Differentially Private Learning. 2024 ICLR https://openreview.net/forum?id=xHmCdSArUC conf/iclr/2024 db/conf/iclr/iclr2024.html#Choquette-ChooD24 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. 2024 ICLR https://openreview.net/forum?id=Let8OMe20n conf/iclr/2024 db/conf/iclr/iclr2024.html#KimJAGDSL24 Alessandro De Palma Rudy Bunel Krishnamurthy (Dj) Dvijotham M. Pawan Kumar Robert Stanforth Alessio Lomuscio Expressive Losses for Verified Robustness via Convex Combinations. 2024 ICLR https://openreview.net/forum?id=mzyZ4wzKlM conf/iclr/2024 db/conf/iclr/iclr2024.html#PalmaBDKSL24 Gavin Brown 0003 Krishnamurthy Dj Dvijotham Georgina Evans Daogao Liu Adam Smith 0006 Abhradeep Guha Thakurta Private Gradient Descent for Linear Regression: Tighter Error Bounds and Instance-Specific Uncertainty Estimation. 2024 ICML https://proceedings.mlr.press/v235/brown24a.html https://openreview.net/forum?id=igRAPavrrS conf/icml/2024 db/conf/icml/icml2024.html#0003DELST24 4561-4584 Nicholas Carlini Daniel Paleka Krishnamurthy Dj Dvijotham Thomas Steinke 0002 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. 2024 ICML https://proceedings.mlr.press/v235/carlini24a.html https://openreview.net/forum?id=VE3yWXt3KB conf/icml/2024 db/conf/icml/icml2024.html#CarliniPD0HCLJN24 5680-5705 Francisco Eiras Adel Bibi Rudy Bunel Krishnamurthy Dj Dvijotham Philip Torr 0001 M. Pawan Kumar Efficient Error Certification for Physics-Informed Neural Networks. 2024 ICML https://proceedings.mlr.press/v235/eiras24a.html https://openreview.net/forum?id=5t4V7Q6lmz conf/icml/2024 db/conf/icml/icml2024.html#EirasBBD0K24 12318-12347 Ruigang Wang Krishnamurthy Dj Dvijotham Ian R. Manchester Monotone, Bi-Lipschitz, and Polyak-Łojasiewicz Networks. 2024 ICML https://proceedings.mlr.press/v235/wang24p.html https://openreview.net/forum?id=kn2xp8UOvQ conf/icml/2024 db/conf/icml/icml2024.html#WangDM24 50379-50399

Jan Freyberg Abhijit Guha Roy Terry Spitz Beverly Freeman Mike Schaekermann Patricia Strachan Eva Schnider Renee Wong Dale R. Webster Alan Karthikesalingam Yun Liu 0013 Krishnamurthy Dvijotham Umesh Telang MINT: A wrapper to make multi-modal and multi-image AI models interactive. 2024 abs/2401.12032 CoRR https://doi.org/10.48550/arXiv.2401.12032 db/journals/corr/corr2401.html#abs-2401-12032

Ruigang Wang Krishnamurthy Dvijotham Ian R. Manchester Monotone, Bi-Lipschitz, and Polyak-Łojasiewicz Networks. 2024 abs/2402.01344 CoRR https://doi.org/10.48550/arXiv.2402.01344 db/journals/corr/corr2402.html#abs-2402-01344

Gavin Brown 0003 Krishnamurthy Dvijotham Georgina Evans Daogao Liu Adam Smith 0006 Abhradeep Thakurta Private Gradient Descent for Linear Regression: Tighter Error Bounds and Instance-Specific Uncertainty Estimation. 2024 abs/2402.13531 CoRR https://doi.org/10.48550/arXiv.2402.13531 db/journals/corr/corr2402.html#abs-2402-13531

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. 2024 abs/2403.05576 CoRR https://doi.org/10.48550/arXiv.2403.05576 db/journals/corr/corr2403.html#abs-2403-05576

Nicholas Carlini Daniel Paleka Krishnamurthy (Dj) Dvijotham Thomas Steinke 0002 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. 2024 abs/2403.06634 CoRR https://doi.org/10.48550/arXiv.2403.06634 db/journals/corr/corr2403.html#abs-2403-06634

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. 2024 abs/2404.01863 CoRR https://doi.org/10.48550/arXiv.2404.01863 db/journals/corr/corr2404.html#abs-2404-01863

Krishnamurthy Dvijotham H. Brendan McMahan Krishna Pillutla Thomas Steinke 0002 Abhradeep Thakurta Efficient and Near-Optimal Noise Generation for Streaming Differential Privacy. 2024 abs/2404.16706 CoRR https://doi.org/10.48550/arXiv.2404.16706 db/journals/corr/corr2404.html#abs-2404-16706

Rudy Bunel Krishnamurthy Dvijotham M. Pawan Kumar Alessandro De Palma Robert Stanforth Verified Neural Compressed Sensing. 2024 abs/2405.04260 CoRR https://doi.org/10.48550/arXiv.2405.04260 db/journals/corr/corr2405.html#abs-2405-04260

Samuel Chevalier Duncan Starkenburg Krishnamurthy Dvijotham Achieving the Tightest Relaxation of Sigmoids for Formal Verification. 2024 abs/2408.10491 CoRR https://doi.org/10.48550/arXiv.2408.10491 db/journals/corr/corr2408.html#abs-2408-10491 streams/journals/corr

Juan A. Rodríguez Xiangru Jian Siba Smarak Panigrahi Tianyu Zhang Aarash Feizi Abhay Puri Akshay Kalkunte François Savard Ahmed Masry Shravan Nayak Rabiul Awal Mahsa Massoud Amirhossein Abaskohi Zichao Li Suyuchen Wang Pierre-André Noël Mats Leon Richter Saverio Vadacchino Shubbam Agarwal Sanket Biswas Sara Shanian Ying Zhang 0033 Noah Bolger Kurt MacDonald Simon Fauvel Sathwik Tejaswi Srinivas Sunkara João Monteiro 0002 Krishnamurthy Dj Dvijotham Torsten Scholak Nicolas Chapados Sepideh Kharagani Sean Hughes M. Tamer Özsu Siva Reddy Marco Pedersoli Yoshua Bengio Christopher Pal Issam H. Laradji Spandana Gella Perouz Taslakian David Vázquez 0001 Sai Rajeswar BigDocs: An Open and Permissively-Licensed Dataset for Training Multimodal Models on Document and Code Tasks. 2024 abs/2412.04626 CoRR https://doi.org/10.48550/arXiv.2412.04626 db/journals/corr/corr2412.html#abs-2412-04626 streams/journals/corr

Shubham Agarwal Gaurav Sahu Abhay Puri Issam H. Laradji Krishnamurthy Dj Dvijotham Jason Stanley Laurent Charlin Christopher Pal LLMs for Literature Review: Are we there yet? 2024 abs/2412.15249 CoRR https://doi.org/10.48550/arXiv.2412.15249 db/journals/corr/corr2412.html#abs-2412-15249 streams/journals/corr

Kushal Chauhan Rishabh Tiwari Jan Freyberg Pradeep Shenoy Krishnamurthy Dvijotham Interactive Concept Bottleneck Models. 5948-5955 2023 AAAI https://doi.org/10.1609/aaai.v37i5.25736 conf/aaai/2023 db/conf/aaai/aaai2023.html#ChauhanTFSD23 Katherine Maeve Collins Matthew Barker Mateo Espinosa Zarlenga Naveen Raman 0001 Umang Bhatt Mateja Jamnik Ilia Sucholutsky Adrian Weller Krishnamurthy Dvijotham Human Uncertainty in Concept-Based AI Systems. 869-889 2023 AIES https://doi.org/10.1145/3600211.3604692 https://www.wikidata.org/entity/Q130861257 conf/aies/2023 db/conf/aies/aies2023.html#CollinsBZRBJSWD23 Nicholas Carlini Florian Tramèr Krishnamurthy (Dj) Dvijotham Leslie Rice Mingjie Sun J. Zico Kolter (Certified!!) Adversarial Robustness for Free! 2023 ICLR https://openreview.net/forum?id=JLg5aHHv7j conf/iclr/2023 db/conf/iclr/iclr2023.html#CarliniTDRSK23 Jeremiah Zhe Liu Krishnamurthy (Dj) Dvijotham Jihyeon Lee Quan Yuan 0001 Balaji Lakshminarayanan Deepak Ramachandran Pushing the Accuracy-Group Robustness Frontier with Introspective Self-play. 2023 ICLR https://openreview.net/forum?id=MofT9KEF0kw conf/iclr/2023 db/conf/iclr/iclr2023.html#LiuDLYLR23 Suhas Kotha Christopher Brix J. Zico Kolter Krishnamurthy Dvijotham Huan Zhang 0001 Provably Bounding Neural Network Preimages. 2023 NeurIPS http://papers.nips.cc/paper_files/paper/2023/hash/fe061ec0ae03c5cf5b5323a2b9121bfd-Abstract-Conference.html conf/nips/2023 db/conf/nips/neurips2023.html#KothaBKD023 Stephan Rabanser Anvith Thudi Abhradeep Guha Thakurta Krishnamurthy Dvijotham Nicolas Papernot Training Private Models That Know What They Don't Know. 2023 NeurIPS http://papers.nips.cc/paper_files/paper/2023/hash/a8526465a91166fbb90aaa8452b21eda-Abstract-Conference.html conf/nips/2023 db/conf/nips/neurips2023.html#RabanserTTDP23 Mateo Espinosa Zarlenga Katie Collins Krishnamurthy Dvijotham Adrian Weller Zohreh Shams Mateja Jamnik Learning to Receive Help: Intervention-Aware Concept Embedding Models. 2023 NeurIPS http://papers.nips.cc/paper_files/paper/2023/hash/770cabd044c4eacb6dc5924d9a686dce-Abstract-Conference.html conf/nips/2023 db/conf/nips/neurips2023.html#ZarlengaCDWSJ23

Suhas Kotha Christopher Brix Zico Kolter Krishnamurthy Dvijotham Huan Zhang 0001 Provably Bounding Neural Network Preimages. 2023 abs/2302.01404 CoRR https://doi.org/10.48550/arXiv.2302.01404 db/journals/corr/corr2302.html#abs-2302-01404

Jeremiah Zhe Liu Krishnamurthy (Dj) Dvijotham Jihyeon Lee Quan Yuan 0001 Martin Strobel 0001 Balaji Lakshminarayanan Deepak Ramachandran Pushing the Accuracy-Group Robustness Frontier with Introspective Self-play. 2023 abs/2302.05807 CoRR https://doi.org/10.48550/arXiv.2302.05807 db/journals/corr/corr2302.html#abs-2302-05807

Katherine M. Collins Matthew Barker Mateo Espinosa Zarlenga Naveen Raman 0001 Umang Bhatt Mateja Jamnik Ilia Sucholutsky Adrian Weller Krishnamurthy Dvijotham Human Uncertainty in Concept-Based AI Systems. 2023 abs/2303.12872 CoRR https://doi.org/10.48550/arXiv.2303.12872 db/journals/corr/corr2303.html#abs-2303-12872

Zi Wang 0016 Somesh Jha Krishnamurthy Dvijotham Efficient Symbolic Reasoning for Neural-Network Verification. 2023 abs/2303.13588 CoRR https://doi.org/10.48550/arXiv.2303.13588 db/journals/corr/corr2303.html#abs-2303-13588

Francisco Eiras Adel Bibi Rudy Bunel Krishnamurthy (Dj) Dvijotham Philip H. S. Torr M. Pawan Kumar Provably Correct Physics-Informed Neural Networks. 2023 abs/2305.10157 CoRR https://doi.org/10.48550/arXiv.2305.10157 db/journals/corr/corr2305.html#abs-2305-10157

Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. Pawan Kumar Robert Stanforth Alessio Lomuscio Expressive Losses for Verified Robustness via Convex Combinations. 2023 abs/2305.13991 CoRR https://doi.org/10.48550/arXiv.2305.13991 db/journals/corr/corr2305.html#abs-2305-13991

Stephan Rabanser Anvith Thudi Abhradeep Thakurta Krishnamurthy Dvijotham Nicolas Papernot Training Private Models That Know What They Don't Know. 2023 abs/2305.18393 CoRR https://doi.org/10.48550/arXiv.2305.18393 db/journals/corr/corr2305.html#abs-2305-18393

Tom A. Lamb Rudy Bunel Krishnamurthy (Dj) Dvijotham M. Pawan Kumar Philip H. S. Torr Francisco Eiras Faithful Knowledge Distillation. 2023 abs/2306.04431 CoRR https://doi.org/10.48550/arXiv.2306.04431 db/journals/corr/corr2306.html#abs-2306-04431

Matthew Barker Katherine M. Collins Krishnamurthy Dvijotham Adrian Weller Umang Bhatt Selective Concept Models: Permitting Stakeholder Customisation at Test-Time. 2023 abs/2306.08424 CoRR https://doi.org/10.48550/arXiv.2306.08424 db/journals/corr/corr2306.html#abs-2306-08424

Mateo Espinosa Zarlenga Katherine M. Collins Krishnamurthy Dvijotham Adrian Weller Zohreh Shams Mateja Jamnik Learning to Receive Help: Intervention-Aware Concept Embedding Models. 2023 abs/2309.16928 CoRR https://doi.org/10.48550/arXiv.2309.16928 db/journals/corr/corr2309.html#abs-2309-16928

Christopher A. Choquette-Choo Krishnamurthy Dvijotham Krishna Pillutla Arun Ganesh Thomas Steinke 0002 Abhradeep Thakurta Correlated Noise Provably Beats Independent Noise for Differentially Private Learning. 2023 abs/2310.06771 CoRR https://doi.org/10.48550/arXiv.2310.06771 db/journals/corr/corr2310.html#abs-2310-06771

Jacob Eisenstein Chirag Nagpal Alekh Agarwal Ahmad Beirami Alex D'Amour Dj Dvijotham Adam Fisch Katherine A. Heller Stephen Pfohl Deepak Ramachandran Peter Shaw 0004 Jonathan Berant Helping or Herding? Reward Model Ensembles Mitigate but do not Eliminate Reward Hacking. 2023 abs/2312.09244 CoRR https://doi.org/10.48550/arXiv.2312.09244 db/journals/corr/corr2312.html#abs-2312-09244

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. 2023 abs/2312.10240 CoRR https://doi.org/10.48550/arXiv.2312.10240 db/journals/corr/corr2312.html#abs-2312-10240

Krishnamurthy Dvijotham Yuval Rabani Leonard J. Schulman Convergence of incentive-driven dynamics in Fisher markets. 361-375 2022 134 Games Econ. Behav. https://doi.org/10.1016/j.geb.2020.11.005 db/journals/geb/geb134.html#DvijothamRS22

Yu Weng Suhyoun Yu Krishnamurthy Dvijotham Hung D. Nguyen 0001 Fixed-Point Theorem-Based Voltage Stability Margin Estimation Techniques for Distribution Systems With Renewables. 3766-3776 2022 18 IEEE Trans. Ind. Informatics 6 https://doi.org/10.1109/TII.2021.3112097 https://www.wikidata.org/entity/Q114084402 db/journals/tii/tii18.html#WengYDN22

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. 5286-5294 2022 AAAI https://doi.org/10.1609/aaai.v36i5.20465 conf/aaai/2022 db/conf/aaai/aaai2022.html#BondiKSCBCPD22 David Stutz Krishnamurthy Dvijotham Ali Taylan Cemgil Arnaud Doucet Learning Optimal Conformal Classifiers. 2022 ICLR https://openreview.net/forum?id=t8O-4LKFVx conf/iclr/2022 db/conf/iclr/iclr2022.html#StutzDCD22 Olivia Wiles Sven Gowal Florian Stimberg Sylvestre-Alvise Rebuffi Ira Ktena Krishnamurthy Dvijotham Ali Taylan Cemgil A Fine-Grained Analysis on Distribution Shift. 2022 ICLR https://openreview.net/forum?id=Dl4LetuLdyK conf/iclr/2022 db/conf/iclr/iclr2022.html#WilesGSRKDC22

Nicholas Carlini Florian Tramèr Krishnamurthy Dvijotham J. Zico Kolter (Certified!!) Adversarial Robustness for Free! 2022 abs/2206.10550 CoRR https://doi.org/10.48550/arXiv.2206.10550 db/journals/corr/corr2206.html#abs-2206-10550

Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. Pawan Kumar Robert Stanforth IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound. 2022 abs/2206.14772 CoRR https://doi.org/10.48550/arXiv.2206.14772 db/journals/corr/corr2206.html#abs-2206-14772

Kushal Chauhan Rishabh Tiwari Jan Freyberg Pradeep Shenoy Krishnamurthy Dvijotham Interactive Concept Bottleneck Models. 2022 abs/2212.07430 CoRR https://doi.org/10.48550/arXiv.2212.07430 db/journals/corr/corr2212.html#abs-2212-07430

Haoxiang Yang David P. Morton Chaithanya Bandi Krishnamurthy Dvijotham Robust Optimization for Electricity Generation. 336-351 2021 33 INFORMS J. Comput. 1 https://doi.org/10.1287/ijoc.2020.0956 db/journals/informs/informs33.html#YangMBD21

Harkirat Singh Behl M. Pawan Kumar Philip H. S. Torr Krishnamurthy Dvijotham Overcoming the Convex Barrier for Simplex Inputs. 4871-4882 2021 NeurIPS https://proceedings.neurips.cc/paper/2021/hash/26657d5ff9020d2abefe558796b99584-Abstract.html conf/nips/2021 db/conf/nips/neurips2021.html#BehlKTD21 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. 11136-11147 2021 NeurIPS https://proceedings.neurips.cc/paper/2021/hash/5c5bc7df3d37b2a7ea29e1b47b2bd4ab-Abstract.html conf/nips/2021 db/conf/nips/neurips2021.html#BerradaDDSBUGK21

Leonard Berrada Sumanth Dathathri Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel Jonathan Uesato Sven Gowal M. Pawan Kumar Verifying Probabilistic Specifications with Functional Lagrangians. 2021 abs/2102.09479 CoRR https://arxiv.org/abs/2102.09479 db/journals/corr/corr2102.html#abs-2102-09479

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. 2021 abs/2104.06718 CoRR https://arxiv.org/abs/2104.06718 db/journals/corr/corr2104.html#abs-2104-06718

David Stutz Krishnamurthy Dvijotham Ali Taylan Cemgil Arnaud Doucet Learning Optimal Conformal Classifiers. 2021 abs/2110.09192 CoRR https://arxiv.org/abs/2110.09192 db/journals/corr/corr2110.html#abs-2110-09192

Olivia Wiles Sven Gowal Florian Stimberg Sylvestre-Alvise Rebuffi Ira Ktena Krishnamurthy Dvijotham A. Taylan Cemgil A Fine-Grained Analysis on Distribution Shift. 2021 abs/2110.11328 CoRR https://arxiv.org/abs/2110.11328 db/journals/corr/corr2110.html#abs-2110-11328

Navid Azizan Yu Su 0013 Krishnamurthy Dvijotham Adam Wierman Optimal Pricing in Markets with Nonconvex Costs. 480-496 2020 68 Oper. Res. 2 https://doi.org/10.1287/opre.2019.1900 db/journals/ior/ior68.html#AzizanSDW20

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. 1208-1217 2020 CVPR https://openaccess.thecvf.com/content_CVPR_2020/html/Gowal_Achieving_Robustness_in_the_Wild_via_Adversarial_Mixing_With_Disentangled_CVPR_2020_paper.html https://doi.org/10.1109/CVPR42600.2020.00129 conf/cvpr/2020 db/conf/cvpr/cvpr2020.html#GowalQHCDMK20 A. Taylan Cemgil Sumedh Ghaisas Krishnamurthy (Dj) Dvijotham Pushmeet Kohli Adversarially Robust Representations with Smooth Encoders. 2020 ICLR https://openreview.net/forum?id=H1gfFaEYDS conf/iclr/2020 db/conf/iclr/iclr2020.html#CemgilGDK20 Krishnamurthy (Dj) Dvijotham Jamie Hayes Borja Balle J. Zico Kolter Chongli Qin András György 0001 Kai Xiao Sven Gowal Pushmeet Kohli A Framework for robustness Certification of Smoothed Classifiers using F-Divergences. 2020 ICLR https://openreview.net/forum?id=SJlKrkSFPH conf/iclr/2020 db/conf/iclr/iclr2020.html#DvijothamHBKQGX20 Johannes Welbl Po-Sen Huang Robert Stanforth Sven Gowal Krishnamurthy (Dj) Dvijotham Martin Szummer Pushmeet Kohli Towards Verified Robustness under Text Deletion Interventions. 2020 ICLR https://openreview.net/forum?id=SyxhVkrYvr conf/iclr/2020 db/conf/iclr/iclr2020.html#WelblHSGDSK20 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. 2020 ICLR https://openreview.net/forum?id=SylL0krYPS conf/iclr/2020 db/conf/iclr/iclr2020.html#WengDUXGSK20 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. 1285-1294 2020 KDD https://doi.org/10.1145/3394486.3403181 conf/kdd/2020 db/conf/kdd/kdd2020.html#ZhernovDLCGCM20 Rudy Bunel Oliver Hinder Srinadh Bhojanapalli Krishnamurthy Dvijotham An efficient nonconvex reformulation of stagewise convex optimization problems. 2020 NeurIPS https://proceedings.neurips.cc/paper/2020/hash/5d97f4dd7c44b2905c799db681b80ce0-Abstract.html conf/nips/2020 db/conf/nips/neurips2020.html#BunelHBD20 A. Taylan Cemgil Sumedh Ghaisas Krishnamurthy Dvijotham Sven Gowal Pushmeet Kohli The Autoencoding Variational Autoencoder. 2020 NeurIPS https://proceedings.neurips.cc/paper/2020/hash/ac10ff1941c540cd87c107330996f4f6-Abstract.html conf/nips/2020 db/conf/nips/neurips2020.html#CemgilGDGK20 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. 2020 NeurIPS https://proceedings.neurips.cc/paper/2020/hash/397d6b4c83c91021fe928a8c4220386b-Abstract.html conf/nips/2020 db/conf/nips/neurips2020.html#DathathriDKRUBS20 Rudy Bunel Alessandro De Palma Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli Philip H. S. Torr M. Pawan Kumar Lagrangian Decomposition for Neural Network Verification. 370-379 2020 UAI http://proceedings.mlr.press/v124/bunel20a.html http://www.auai.org/uai2020/proceedings/159_main_paper.pdf conf/uai/2020 db/conf/uai/uai2020.html#BunelPDDKTK20

Rudy Bunel Alessandro De Palma Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli Philip H. S. Torr M. Pawan Kumar Lagrangian Decomposition for Neural Network Verification. 2020 abs/2002.10410 CoRR https://arxiv.org/abs/2002.10410 db/journals/corr/corr2002.html#abs-2002-10410

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. 2020 abs/2010.11645 CoRR https://arxiv.org/abs/2010.11645 db/journals/corr/corr2010.html#abs-2010-11645

Rudy Bunel Oliver Hinder Srinadh Bhojanapalli Krishnamurthy Dvijotham An efficient nonconvex reformulation of stagewise convex optimization problems. 2020 abs/2010.14322 CoRR https://arxiv.org/abs/2010.14322 db/journals/corr/corr2010.html#abs-2010-14322

Jamie Hayes Krishnamurthy Dvijotham Yutian Chen Sander Dieleman Pushmeet Kohli Norman Casagrande Towards transformation-resilient provenance detection of digital media. 2020 abs/2011.07355 CoRR https://arxiv.org/abs/2011.07355 db/journals/corr/corr2011.html#abs-2011-07355

A. Taylan Cemgil Sumedh Ghaisas Krishnamurthy Dvijotham Sven Gowal Pushmeet Kohli Autoencoding Variational Autoencoder. 2020 abs/2012.03715 CoRR https://arxiv.org/abs/2012.03715 db/journals/corr/corr2012.html#abs-2012-03715

Dongchan Lee Hung D. Nguyen 0001 Krishnamurthy Dvijotham Konstantin S. Turitsyn Convex Restriction of Power Flow Feasibility Sets. 1235-1245 2019 6 IEEE Trans. Control. Netw. Syst. 3 https://doi.org/10.1109/TCNS.2019.2930896 https://www.wikidata.org/entity/Q127440841 db/journals/tcns/tcns6.html#Lee0DT19

Hung D. Nguyen 0001 Krishnamurthy Dvijotham Suhyoun Yu Konstantin S. Turitsyn A Framework for Robust Long-Term Voltage Stability of Distribution Systems. 4827-4837 2019 10 IEEE Trans. Smart Grid 5 https://doi.org/10.1109/TSG.2018.2869032 https://www.wikidata.org/entity/Q129326152 db/journals/tsg/tsg10.html#NguyenDYT19

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. 12260-12269 2019 CVPR http://openaccess.thecvf.com/content_CVPR_2019/html/Wang_Knowing_When_to_Stop_Evaluation_and_Verification_of_Conformity_to_CVPR_2019_paper.html https://doi.org/10.1109/CVPR.2019.01254 conf/cvpr/2019 db/conf/cvpr/cvpr2019.html#WangBDHGK19 Navid Azizan Ruhi Yu Su 0013 Krishnamurthy Dvijotham Adam Wierman Optimal Pricing in Markets with Non-Convex Costs. 595 2019 EC https://doi.org/10.1145/3328526.3329575 https://www.wikidata.org/entity/Q106762742 conf/sigecom/2019 db/conf/sigecom/sigecom2019.html#RuhiSDW19 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. 4081-4091 2019 EMNLP/IJCNLP (1) https://doi.org/10.18653/v1/D19-1419 conf/emnlp/2019-1 db/conf/emnlp/emnlp2019-1.html#HuangSWDYGDK19 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. 4841-4850 2019 ICCV https://doi.org/10.1109/ICCV.2019.00494 conf/iccv/2019 db/conf/iccv/iccv2019.html#GowalDSBQUAMK19 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. 2019 ICLR (Poster) https://openreview.net/forum?id=HyeFAsRctQ conf/iclr/2019 db/conf/iclr/iclr2019.html#QinDOBSGUSK19 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. 2019 ICLR (Poster) https://openreview.net/forum?id=B1xhQhRcK7 conf/iclr/2019 db/conf/iclr/iclr2019.html#UesatoKSERADHK19 Sven Gowal Krishnamurthy Dvijotham Robert Stanforth Timothy A. Mann Pushmeet Kohli A Dual Approach to Verify and Train Deep Networks. 2019 IJCAI https://doi.org/10.24963/ijcai.2019/854 conf/ijcai/2019 db/conf/ijcai/ijcai2019.html#GowalDSMK19 6156-6160 Chongli Qin James Martens Sven Gowal Dilip Krishnan Krishnamurthy Dvijotham Alhussein Fawzi Soham De Robert Stanforth Pushmeet Kohli Adversarial Robustness through Local Linearization. 13824-13833 2019 NeurIPS https://proceedings.neurips.cc/paper/2019/hash/0defd533d51ed0a10c5c9dbf93ee78a5-Abstract.html http://papers.nips.cc/paper/9534-adversarial-robustness-through-local-linearization conf/nips/2019 db/conf/nips/nips2019.html#QinMGKDFDSK19 Krishnamurthy (Dj) Dvijotham Robert Stanforth Sven Gowal Chongli Qin Soham De Pushmeet Kohli Efficient Neural Network Verification with Exactness Characterization. 497-507 2019 UAI http://proceedings.mlr.press/v115/dvijotham20a.html http://auai.org/uai2019/proceedings/papers/164.pdf conf/uai/2019 db/conf/uai/uai2019.html#DvijothamSGGQDK19

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. 2019 abs/1902.09592 CoRR http://arxiv.org/abs/1902.09592 db/journals/corr/corr1902.html#abs-1902-09592

Chongli Qin James Martens Sven Gowal Dilip Krishnan Krishnamurthy Dvijotham Alhussein Fawzi Soham De Robert Stanforth Pushmeet Kohli Adversarial Robustness through Local Linearization. 2019 abs/1907.02610 CoRR http://arxiv.org/abs/1907.02610 db/journals/corr/corr1907.html#abs-1907-02610

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. 2019 abs/1909.01492 CoRR http://arxiv.org/abs/1909.01492 db/journals/corr/corr1909.html#abs-1909-01492

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. 2019 abs/1912.03192 CoRR http://arxiv.org/abs/1912.03192 db/journals/corr/corr1912.html#abs-1912-03192

Krishnamurthy Dvijotham Hung D. Nguyen 0001 Konstantin S. Turitsyn Solvability Regions of Affinely Parameterized Quadratic Equations. 25-30 2018 2 IEEE Control. Syst. Lett. 1 https://doi.org/10.1109/LCSYS.2017.2721380 db/journals/csysl/csysl2.html#DvijothamNT18

Navid Azizan Ruhi Krishnamurthy Dvijotham Niangjun Chen Adam Wierman Opportunities for Price Manipulation by Aggregators in Electricity Markets. 5687-5698 2018 9 IEEE Trans. Smart Grid 6 https://doi.org/10.1109/TSG.2017.2694043 db/journals/tsg/tsg9.html#RuhiDCW18

Krishnamurthy Dvijotham Robert Stanforth Sven Gowal Timothy A. Mann Pushmeet Kohli A Dual Approach to Scalable Verification of Deep Networks. 550-559 2018 UAI http://auai.org/uai2018/proceedings/papers/204.pdf http://auai.org/uai2018/proceedings/supplements/Supplementary-Paper204.pdf conf/uai/2018 db/conf/uai/uai2018.html#DvijothamSGMK18 Vinod Nair Dj Dvijotham Iain Dunning Oriol Vinyals Learning Fast Optimizers for Contextual Stochastic Integer Programs. 591-600 2018 UAI http://auai.org/uai2018/proceedings/papers/217.pdf http://auai.org/uai2018/proceedings/supplements/Supplementary-Paper217.pdf conf/uai/2018 db/conf/uai/uai2018.html#NairDDV18

Gal Dalal Krishnamurthy Dvijotham Matej Vecerík Todd Hester Cosmin Paduraru Yuval Tassa Safe Exploration in Continuous Action Spaces. 2018 abs/1801.08757 CoRR http://arxiv.org/abs/1801.08757 db/journals/corr/corr1801.html#abs-1801-08757

Krishnamurthy Dvijotham Robert Stanforth Sven Gowal Timothy A. Mann Pushmeet Kohli A Dual Approach to Scalable Verification of Deep Networks. 2018 abs/1803.06567 CoRR http://arxiv.org/abs/1803.06567 db/journals/corr/corr1803.html#abs-1803-06567

Krishnamurthy Dvijotham Sven Gowal Robert Stanforth Relja Arandjelovic Brendan O'Donoghue Jonathan Uesato Pushmeet Kohli Training verified learners with learned verifiers. 2018 abs/1805.10265 CoRR http://arxiv.org/abs/1805.10265 db/journals/corr/corr1805.html#abs-1805-10265

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. 2018 abs/1810.12715 CoRR http://arxiv.org/abs/1810.12715 db/journals/corr/corr1810.html#abs-1810-12715

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. 2018 abs/1812.01647 CoRR http://arxiv.org/abs/1812.01647 db/journals/corr/corr1812.html#abs-1812-01647

Krishnamurthy Dvijotham Marta Garnelo Alhussein Fawzi Pushmeet Kohli Verification of deep probabilistic models. 2018 abs/1812.02795 CoRR http://arxiv.org/abs/1812.02795 db/journals/corr/corr1812.html#abs-1812-02795

Krishnamurthy Dvijotham Michael Chertkov Pascal Van Hentenryck Marc Vuffray Sidhant Misra Graphical models for optimal power flow. 24-49 2017 22 Constraints An Int. J. 1 https://doi.org/10.1007/s10601-016-9253-y db/journals/constraints/constraints22.html#DvijothamCHVM17

Krishnamurthy Dvijotham Enrique Mallada John W. Simpson-Porco High-Voltage Solution in Radial Power Networks: Existence, Properties, and Equivalent Algorithms. 322-327 2017 1 IEEE Control. Syst. Lett. 2 https://doi.org/10.1109/LCSYS.2017.2717578 db/journals/csysl/csysl1.html#DvijothamMS17

Yujie Tang 0002 Krishnamurthy Dvijotham Steven H. Low Real-Time Optimal Power Flow. 2963-2973 2017 8 IEEE Trans. Smart Grid 6 https://doi.org/10.1109/TSG.2017.2704922 db/journals/tsg/tsg8.html#TangDL17

Yujie Tang 0002 Krishnamurthy Dvijotham Steven H. Low Real-time OPF based on quasi-Newton methods. 1 2017 CISS https://doi.org/10.1109/CISS.2017.7926163 conf/ciss/2017 db/conf/ciss/ciss2017.html#TangDL17 Krishnamurthy Dvijotham Yuval Rabani Leonard J. Schulman Convergence of Incentive-Driven Dynamics in Fisher Markets. 554-567 2017 SODA https://doi.org/10.1137/1.9781611974782.35 http://dl.acm.org/citation.cfm?id=3039721 conf/soda/2017 db/conf/soda/soda2017.html#DvijothamRS17

Krishnamurthy Dvijotham Hung D. Nguyen 0001 Konstantin S. Turitsyn Solvability regions of affinely parameterized quadratic equations. 2017 abs/1703.08881 CoRR http://arxiv.org/abs/1703.08881 db/journals/corr/corr1703.html#DvijothamNT17

Navid Azizan Ruhi Niangjun Chen Krishnamurthy Dvijotham Adam Wierman Opportunities for Price Manipulation by Aggregators in Electricity Markets. 49-51 2016 44 SIGMETRICS Perform. Evaluation Rev. 2 https://doi.org/10.1145/3003977.3003995 https://www.wikidata.org/entity/Q106762745 db/journals/sigmetrics/sigmetrics44.html#RuhiCDW16

Krishnamurthy Dvijotham Michael Chertkov Steven H. Low Monotone operator approach to power flow solutions. 1769 2016 ACC https://doi.org/10.1109/ACC.2016.7525174 conf/amcc/2016 db/conf/amcc/acc2016.html#DvijothamCL16 Krishnamurthy Dvijotham Daniel K. Molzahn Error bounds on the DC power flow approximation: A convex relaxation approach. 2411-2418 2016 CDC https://doi.org/10.1109/CDC.2016.7798623 conf/cdc/2016 db/conf/cdc/cdc2016.html#DvijothamM16

Krishnamurthy Dvijotham Yuval Rabani Leonard J. Schulman Market Dynamics of Best-Response with Lookahead. 2016 abs/1605.09012 CoRR http://arxiv.org/abs/1605.09012 db/journals/corr/corr1605.html#DvijothamRS16

Navid Azizan Ruhi Krishnamurthy Dvijotham Niangjun Chen Adam Wierman Opportunities for Price Manipulation by Aggregators in Electricity Markets. 2016 abs/1606.06510 CoRR http://arxiv.org/abs/1606.06510 db/journals/corr/corr1606.html#RuhiDCW16

Krishnamurthy Dvijotham Pascal Van Hentenryck Michael Chertkov Sidhant Misra Marc Vuffray Graphical Models for Optimal Power Flow. 2016 abs/1606.06512 CoRR http://arxiv.org/abs/1606.06512 db/journals/corr/corr1606.html#DvijothamHCMV16

Krishnamurthy Dvijotham Emanuel Todorov Maryam Fazel Convex Structured Controller Design in Finite Horizon. 1-10 2015 2 IEEE Trans. Control. Netw. Syst. 1 https://doi.org/10.1109/TCNS.2014.2367359 db/journals/tcns/tcns2.html#DvijothamTF15

Krishnamurthy Dvijotham Systems of quadratic equations: Efficient solution algorithms and conditions for solvability. 1027-1031 2015 Allerton https://doi.org/10.1109/ALLERTON.2015.7447121 conf/allerton/2015 db/conf/allerton/allerton2015.html#Dvijotham15 Krishnamurthy Dvijotham Michael Chertkov Convexity of structure preserving energy functions in power transmission: Novel results and applications. 5035-5042 2015 ACC https://doi.org/10.1109/ACC.2015.7172123 conf/amcc/2015 db/conf/amcc/acc2015.html#DvijothamC15 Krishnamurthy Dvijotham Michael Chertkov Steven H. Low A differential analysis of the power flow equations. 23-30 2015 CDC https://doi.org/10.1109/CDC.2015.7402082 conf/cdc/2015 db/conf/cdc/cdc2015.html#DvijothamCL15

Krishnamurthy Dvijotham Marc Vuffray Sidhant Misra Michael Chertkov Natural Gas Flow Solutions with Guarantees: A Monotone Operator Theory Approach. 2015 abs/1506.06075 CoRR http://arxiv.org/abs/1506.06075 db/journals/corr/corr1506.html#DvijothamVMC15

Krishnamurthy Dvijotham Konstantin S. Turitsyn Construction of power flow feasibility sets. 2015 abs/1506.07191 CoRR http://arxiv.org/abs/1506.07191 db/journals/corr/corr1506.html#DvijothamT15

Krishnamurthy Dvijotham Steven H. Low Michael Chertkov Solving the Power Flow Equations: A Monotone Operator Approach. 2015 abs/1506.08472 CoRR http://arxiv.org/abs/1506.08472 db/journals/corr/corr1506.html#DvijothamLC15

Krishnamurthy Dvijotham Michael Chertkov Steven H. Low Solving the Power Flow Equations: A Monotone Operator Theory Approach. 2015 abs/1506.08814 CoRR http://arxiv.org/abs/1506.08814 db/journals/corr/corr1506.html#DvijothamCL15

Krishnamurthy Dvijotham Automating Stochastic Optimal Control. University of Washington, USA 2014 https://hdl.handle.net/1773/25359 Krishnamurthy Dvijotham Maryam Fazel Emanuel Todorov Convex risk averse control design. 4020-4025 2014 CDC https://doi.org/10.1109/CDC.2014.7040014 conf/cdc/2014 db/conf/cdc/cdc2014.html#DvijothamFT14 Krishnamurthy Dvijotham Misha Chertkov Scott Backhaus Storage Sizing and Placement through Operational and Uncertainty-Aware Simulations. 2408-2416 2014 HICSS https://doi.org/10.1109/HICSS.2014.302 https://doi.ieeecomputersociety.org/10.1109/HICSS.2014.302 conf/hicss/2014 db/conf/hicss/hicss2014.html#DvijothamCB14 Krishnamurthy Dvijotham Maryam Fazel Emanuel Todorov Universal Convexification via Risk-Aversion. 162-171 2014 UAI https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2451&proceeding_id=30 conf/uai/2014 db/conf/uai/uai2014.html#DvijothamFT14

Krishnamurthy Dvijotham Maryam Fazel Emanuel Todorov Universal Convexification via Risk-Aversion. 2014 abs/1406.0554 CoRR http://arxiv.org/abs/1406.0554 db/journals/corr/corr1406.html#DvijothamFT14

Scott Backhaus Russell Bent Daniel Bienstock Michael Chertkov Krishnamurthy Dvijotham Efficient Synchronization Stability Metrics for Fault Clearing. 2014 abs/1409.4451 CoRR http://arxiv.org/abs/1409.4451 db/journals/corr/corr1409.html#BackhausBBCD14

Krishnamurthy Dvijotham Emanuel Todorov Maryam Fazel Convex control design via covariance minimization. 93-99 2013 Allerton https://doi.org/10.1109/Allerton.2013.6736510 conf/allerton/2013 db/conf/allerton/allerton2013.html#DvijothamTF13 Krishnamurthy Dvijotham Evangelos A. Theodorou Emanuel Todorov Maryam Fazel Convexity of optimal linear controller design. 2477-2482 2013 CDC https://doi.org/10.1109/CDC.2013.6760252 conf/cdc/2013 db/conf/cdc/cdc2013.html#DvijothamTTF13 Evangelos A. Theodorou Krishnamurthy Dvijotham Emo Todorov Time varying nonlinear Policy Gradients. 7765-7770 2013 CDC https://doi.org/10.1109/CDC.2013.6761122 conf/cdc/2013 db/conf/cdc/cdc2013.html#TheodorouDT13

Krishnamurthy Dvijotham Scott Backhaus Misha Chertkov Storage Sizing and Placement through Operational and Uncertainty-Aware Simulations. 2013 CoRR http://arxiv.org/abs/1307.4143 abs/1307.4143 db/journals/corr/corr1307.html#DvijothamBC13

Krishnamurthy Dvijotham Emanuel Todorov Maryam Fazel Convex Structured Controller Design. 2013 CoRR http://arxiv.org/abs/1309.7731 abs/1309.7731 db/journals/corr/corr1309.html#DvijothamTF13

Krishnamurthy Dvijotham Emo Todorov Linearly solvable Markov games. 1845-1850 2012 ACC https://doi.org/10.1109/ACC.2012.6315632 conf/amcc/2012 db/conf/amcc/acc2012.html#DvijothamT12 Krishnamurthy Dvijotham Scott Backhaus Michael Chertkov Distributed control of generation in a transmission grid with a high penetration of renewables. 635-640 2012 SmartGridComm https://doi.org/10.1109/SmartGridComm.2012.6486057 conf/smartgridcomm/2012 db/conf/smartgridcomm/smartgridcomm2012.html#DvijothamBC12

Krishnamurthy Dvijotham Emanuel Todorov A Unifying Framework for Linearly Solvable Control http://arxiv.org/abs/1202.3715 2012 CoRR abs/1202.3715 db/journals/corr/corr1202.html#abs-1202-3715

Krishnamurthy Dvijotham Michael Chertkov Scott Backhaus Distributed Control of Generation in a Transmission Grid with a High Penetration of Renewables http://arxiv.org/abs/1211.4555 2012 CoRR abs/1211.4555 db/journals/corr/corr1211.html#abs-1211-4555

Krishnamurthy Dvijotham Emanuel Todorov A Unifying Framework for Linearly Solvable Control. 179-186 2011 UAI https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2191&proceeding_id=27 conf/uai/2011 db/conf/uai/uai2011.html#DvijothamT11

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 http://arxiv.org/abs/1107.1382 2011 CoRR abs/1107.1382 db/journals/corr/corr1107.html#abs-1107-1382

Krishnamurthy Dvijotham Maryam Fazel A nullspace analysis of the nuclear norm heuristic for rank minimization. 3586-3589 2010 ICASSP https://doi.org/10.1109/ICASSP.2010.5495918 conf/icassp/2010 db/conf/icassp/icassp2010.html#DvijothamF10 Krishnamurthy Dvijotham Emanuel Todorov Inverse Optimal Control with Linearly-Solvable MDPs. 335-342 2010 ICML https://icml.cc/Conferences/2010/papers/571.pdf conf/icml/2010 db/conf/icml/icml2010.html#KrishnamurthyT10

Krishnamurthy Dvijotham Soumen Chakrabarti Subhasis Chaudhuri New closed-form bounds on the partition function. 205-229 2008 72 Mach. Learn. 3 https://doi.org/10.1007/s10994-008-5072-8 db/journals/ml/ml72.html#KrishnamurthyCC08

Krishnamurthy Dvijotham Soumen Chakrabarti Subhasis Chaudhuri New Closed-Form Bounds on the Partition Function. 8 2008 ECML/PKDD (1) https://doi.org/10.1007/978-3-540-87479-9_7 conf/pkdd/2008-1 db/conf/pkdd/pkdd2008-1.html#KrishnamurthyCC08 Amirhossein Abaskohi Diana Acosta-Navas Alekh Agarwal Shubbam Agarwal Shubham Agarwal Amnah Ahmad Minyong An Keith Anderson Relja Arandjelovic Rabiul Awal Navid AzizanNavid Azizan Ruhi Yoram Bachrach Scott Backhaus Borja Balle Chaithanya Bandi Mihir Bansal Matthew Barker Harkirat S. BehlHarkirat Singh Behl Ahmad Beirami Yoshua Bengio Russell Bent Jonathan Berant Leonard Berrada Rishika Bhagwatkar Umang Bhatt Srinadh Bhojanapalli Adel Bibi Daniel Bienstock Sanket Biswas Yonatan Bitton Léo Boisvert Noah Bolger Elizabeth Bondi-KellyElizabeth Bondi Avinandan Bose Christopher Brix Gavin Brown 0003 Rudy Bunel Alena Butryna Dan Andrei CalianDan A. Calian Quentin Cappart Nicholas Carlini Nicholas Carolan Norman Casagrande A. Taylan CemgilAli Taylan Cemgil Martin J. Chadwick Soumen Chakrabarti Natarajan Chandrashekar Minsuk Chang Nicolas Chapados Laurent Charlin Subhasis Chaudhuri Kushal Chauhan Niangjun Chen Sherol Chen Yutian Chen Michael ChertkovMisha Chertkov Samuel Chevalier Christopher A. Choquette-Choo Sarthak Choudhary Katie CollinsKatherine M. CollinsKatherine Maeve Collins Arthur Conmy A. Feder Cooper Gal Dalal Alexander D'AmourAlex D'Amour Sumanth Dathathri Soham De Alban Desmaison Sander Dieleman Arnaud Doucet Alexandre Drouin Iain Dunning Senjuti Dutta Chris Dyer Francisco Girbal EirasFrancisco Eiras Jacob Eisenstein Tom Erez Georgina Evans Chandra Kiran Reddy Evuru Simon Fauvel Alhussein Fawzi Maryam Fazel Aarash Feizi Adam Fisch Beverly Freeman Jan Freyberg Arun Ganesh Marta Garnelo Susanne Gaube Spandana Gella Sumedh Ghaisas Mohammad Ghavamzadeh Michelle X. Gong Ian J. Goodfellow Sven Gowal Edward Grefenstette András György 0001 Jonathan Hayase Jamie Hayes Junfeng He Nicolas Heess Katherine A. Heller Pascal Van Hentenryck Monika Henzinger Todd Hester Oliver Hinder Ashish Hooda Danniell Hu Yushi Hu Gabriel Huang Po-Sen Huang Sean Hughes Matthew Jagielski Mateja Jamnik Jongheon Jeong Somesh Jha Xiangru Jian Kyomin Jung Akshay Kalkunte Alan Karthikesalingam Kevin Kasa Jonathan Katz Junjie Ke Sepideh Kharagani Kyuyoung Kim Minbeom Kim Najoung Kim Arseniy Klimovskiy Kai KohlhoffKai J. Kohlhoff Pushmeet Kohli J. Zico KolterZico Kolter Raphael Koster Suhas Kotha Bala Krishnamoorthy Dilip Krishnan Ira Ktena Ananya Kumar M. Pawan Kumar Alexey Kurakin Alexandre Lacoste Balaji Lakshminarayanan Tom A. Lamb Issam H. Laradji Long T. Le Mathias Lécuyer Dongchan Lee Jihyeon Lee Katherine Lee Kimin Lee Laurent Lessard Gang Li Peizhao Li Yang Li Zichao Li Percy Liang Youwei Liang Sharon Lin Daogao Liu Jeremiah Z. LiuJeremiah Zhe Liu Yun Liu 0013 Ivan Lobov Alessio Lomuscio Steven H. Low Yiwen Luo Yunqi Luo Saiyue Lyu Kurt MacDonald Sathwik Tejaswi MadhusudhanSathwik Tejaswi Sunny Mak Enrique Mallada Ian R. Manchester Timothy A. MannTimothy Arthur Mann James Martens Ahmed Masry Mahsa Massoud Ryan McKenna H. Brendan McMahan Lesly Miculicich Sidhant Misra Daniel K. Molzahn Mirko Montanari João Monteiro 0002 David P. Morton Hussein Mozannar Chirag Nagpal Vinod Nair Milad Nasr Vidhya Navalpakkam Shravan Nayak Hung Dinh Nguyen 0001Hung D. Nguyen 0001 Pierre-André Noël Brendan O'Donoghue Shayegan Omidshafiei M. Tamer Özsu Cosmin Paduraru Christopher Joseph PalChristopher Pal Hamid Palangi Daniel Paleka Alessandro De Palma Nils Palumbo Siba Smarak Panigrahi Nicolas Papernot Ulrich Paquet Mihir Parmar Ellie Pavlick Marco Pedersoli Tomas Pfister Stephen Pfohl Krishna Pillutla Jordi Pont-Tuset Abhay Puri Chongli Qin Yuval Rabani Stephan Rabanser Aditi Raghunathan Ravi Rajakumar Sai Rajeswar Deepak Ramachandran Naveen Raman 0001 Benjamin Rapone Sylvestre-Alvise Rebuffi Siva Reddy Leslie Rice Mats Leon Richter Verena Rieser Irina Rish Juan A. Rodríguez David Rolnick Abhijit Guha Roy Avraham Ruderman Keith Rush Gaurav Sahu François Savard Mike Schaekermann Eva Schnider Torsten Scholak Leonard J. Schulman Nazanin Mohammadi Sepahvand Zohreh Shams Sara Shanian Shreya Shankar Peter Shaw 0004 Hannah Sheahan Pradeep Shenoy Chongyang Shi 0003 Jinwoo Shin Frederick Shpilevskiy Ilia Shumailov John W. Simpson-Porco Sahil Singla 0005 Adam D. Smith 0001Adam Smith 0006 Shuang Song 0001 Terry Spitz Robert Stanforth Jason Stanley Duncan Starkenburg Jacob Steinhardt Thomas Steinke 0001 Thomas Steinke 0002 Florian Stimberg Patricia Strachan Martin Strobel 0001 David Stutz Yu Su 0013 Ilia Sucholutsky Jiao Sun Mingjie Sun Srinivas Sunkara Grzegorz Swirszcz Csaba Szepesvári Martin Szummer Yujie Tang 0002 Perouz Taslakian Yuval Tassa Graham W. Taylor Matthew E. Taylor Umesh Telang Abhradeep ThakurtaAbhradeep Guha Thakurta Evangelos A. Theodorou Anvith Thudi Rishabh Tiwari Emanuel TodorovEmo Todorov Philip Torr 0001Philip H. S. Torr Florian Tramèr Konstantin S. Turitsyn Jonathan Uesato Jalaj Upadhyay Saverio Vadacchino David Vázquez 0001 Matej Vecerík Oriol Vinyals Marc Vuffray Eric Wallace Phillip Wallis Chenglong Wang Ruigang Wang Suyuchen Wang Zi Wang 0016 Dale R. Webster Johannes Welbl Adrian Weller Tsui-Wei Weng Yu Weng Adam Wierman Olivia Wiles Renee Wong Kai Xiao Feng Yang Haoxiang Yang Dani Yogatama Sarah Young Suhyoun Yu Quan Yuan 0001 Mateo Espinosa Zarlenga Huan Zhang 0001 Tianyu Zhang Ying Zhang 0033 Anton Zhernov