K. Dvijotham

Most-cited papers

On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models
Sven Gowal, K. Dvijotham, Robert Stanforth, Rudy Bunel +5 more
2018arXiv.org672 citations
Semantic Scholar
Safe Exploration in Continuous Action Spaces
Gal Dalal, K. Dvijotham, Matej Vecerík, Todd Hester +2 more
2018arXiv.org561 citations
Semantic Scholar
A Dual Approach to Scalable Verification of Deep Networks
K. Dvijotham, Robert Stanforth, Sven Gowal, Timothy A. Mann +1 more
2018Conference on Uncertainty in Artificial Intelligence420 citations
Semantic Scholar
A Fine-Grained Analysis on Distribution Shift
Olivia Wiles, Sven Gowal, Florian Stimberg, Sylvestre-Alvise Rebuffi +3 more
2021International Conference on Learning Representations272 citations
Semantic Scholar
Real-Time Optimal Power Flow
Yujie Tang, K. Dvijotham, S. Low
2017IEEE Transactions on Smart Grid240 citations Open access
Semantic Scholar
Stealing Part of a Production Language Model
Nicholas Carlini, Daniel Paleka, K. Dvijotham, Thomas Steinke +10 more
2024International Conference on Machine Learning220 citations
Semantic Scholar
Scalable Verified Training for Provably Robust Image Classification
Sven Gowal, K. Dvijotham, Robert Stanforth, Rudy Bunel +5 more
2019IEEE International Conference on Computer Vision207 citations
Semantic Scholar
(Certified!!) Adversarial Robustness for Free!
Nicholas Carlini, Florian Tramèr, K. Dvijotham, L. Rice +2 more
2022International Conference on Learning Representations186 citations Open access
Semantic Scholar
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation
Po-Sen Huang, Robert Stanforth, Johannes Welbl, Chris Dyer +4 more
2019Conference on Empirical Methods in Natural Language Processing186 citations Open access
Semantic Scholar
Rich Human Feedback for Text-to-Image Generation
You-Wei Liang, Jun-Feng He, Gang Li, Pei-Zhao Li +14 more
2023Computer Vision and Pattern Recognition185 citations Open access
Semantic Scholar
Training verified learners with learned verifiers
K. Dvijotham, Sven Gowal, Robert Stanforth, Relja Arandjelović +3 more
2018arXiv.org177 citations
Semantic Scholar
Learning Optimal Conformal Classifiers
David Stutz, K. Dvijotham, Ali Taylan Cemgil, A. Doucet
2021International Conference on Learning Representations150 citations
Semantic Scholar
Enhancing the reliability and accuracy of AI-enabled diagnosis via complementarity-driven deferral to clinicians
K. Dvijotham, Jim Winkens, Melih Barsbey, Sumedh Ghaisas +26 more
2023Nature Medicine138 citations Open access
Semantic Scholar
Interactive Concept Bottleneck Models
Kushal Chauhan, Rishabh Tiwari, J. Freyberg, Pradeep Shenoy +1 more
2022AAAI Conference on Artificial Intelligence111 citations Open access
Semantic Scholar
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Sumanth Dathathri, K. Dvijotham, Alexey Kurakin, Aditi Raghunathan +7 more
2020Neural Information Processing Systems103 citations
Semantic Scholar
LitLLM: A Toolkit for Scientific Literature Review
Shubham Agarwal, Gaurav Sahu, Abhay Puri, I. Laradji +4 more
2024arXiv.org83 citations
Semantic Scholar
The Autoencoding Variational Autoencoder
Ali Taylan Cemgil, Sumedh Ghaisas, K. Dvijotham, Sven Gowal +1 more
2020Neural Information Processing Systems82 citations
Semantic Scholar
A Framework for robustness Certification of Smoothed Classifiers using F-Divergences
K. Dvijotham, Jamie Hayes, Borja Balle, J. Kolter +5 more
2020International Conference on Learning Representations79 citations
Semantic Scholar
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
Alessandro De Palma, Rudy Bunel, A. Desmaison, K. Dvijotham +3 more
2021arXiv.org74 citations
Semantic Scholar
Convex Restriction of Power Flow Feasibility Sets
Dong-Chan Lee, H. D. Nguyen, K. Dvijotham, K. Turitsyn
2018IEEE Transactions on Control of Network Systems71 citations Open access
Semantic Scholar
Role of Human-AI Interaction in Selective Prediction
Elizabeth Bondi, R. Koster, Hannah Sheahan, M. Chadwick +4 more
2021AAAI Conference on Artificial Intelligence63 citations Open access
Semantic Scholar
VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation
Lesly Miculicich, Mihir Parmar, Hamid Palangi, K. Dvijotham +3 more
2025arXiv.org61 citations
Semantic Scholar
Achieving Robustness in the Wild via Adversarial Mixing With Disentangled Representations
Sven Gowal, C. Qin, Po-Sen Huang, taylan. cemgil +3 more
2019Computer Vision and Pattern Recognition61 citations Open access
Semantic Scholar
Learning to Receive Help: Intervention-Aware Concept Embedding Models
M. Zarlenga, Katherine M. Collins, K. Dvijotham, Adrian Weller +2 more
2023Neural Information Processing Systems58 citations Open access
Semantic Scholar
Human Uncertainty in Concept-Based AI Systems
Katherine M. Collins, Matthew Barker, Mateo Espinosa Zarlenga, Naveen Raman +5 more
2023AAAI/ACM Conference on AI, Ethics, and Society57 citations Open access
Semantic Scholar
Lagrangian Decomposition for Neural Network Verification
Rudy Bunel, Alessandro De Palma, A. Desmaison, K. Dvijotham +3 more
2020Conference on Uncertainty in Artificial Intelligence55 citations
Semantic Scholar
Efficient Neural Network Verification with Exactness Characterization
K. Dvijotham, Robert Stanforth, Sven Gowal, C. Qin +2 more
2019Conference on Uncertainty in Artificial Intelligence45 citations
Semantic Scholar
Verification of Non-Linear Specifications for Neural Networks
C. Qin, K. Dvijotham, Brendan O'Donoghue, Rudy Bunel +5 more
2019International Conference on Learning Representations44 citations
Semantic Scholar
Provably Bounding Neural Network Preimages
Suhas Kotha, Christopher Brix, Zico Kolter, K. Dvijotham +1 more
2023Neural Information Processing Systems43 citations Open access
Semantic Scholar
Efficient and Near-Optimal Noise Generation for Streaming Differential Privacy
K. Dvijotham, H. B. McMahan, Krishna Pillutla, Thomas Steinke +1 more
2024IEEE Annual Symposium on Foundations of Computer Science36 citations Open access
Semantic Scholar
Adversarially Robust Representations with Smooth Encoders
Ali Taylan Cemgil, Sumedh Ghaisas, K. Dvijotham, Pushmeet Kohli
2020International Conference on Learning Representations35 citations
Semantic Scholar
Toward Evaluating Robustness of Deep Reinforcement Learning with Continuous Control
T. Weng, K. Dvijotham, Jonathan Uesato, Kai Y. Xiao +3 more
2020International Conference on Learning Representations35 citations
Semantic Scholar
DoomArena: A framework for Testing AI Agents Against Evolving Security Threats
L'eo Boisvert, Mihir Bansal, Chandra Kiran Reddy Evuru, Gabriel Huang +8 more
2025arXiv.org34 citations
Semantic Scholar
Correlated Noise Provably Beats Independent Noise for Differentially Private Learning
Christopher A. Choquette-Choo, K. Dvijotham, Krishna Pillutla, Arun Ganesh +2 more
2023International Conference on Learning Representations33 citations Open access
Semantic Scholar
Expressive Losses for Verified Robustness via Convex Combinations
Alessandro De Palma, Rudy Bunel, K. Dvijotham, M. P. Kumar +2 more
2023International Conference on Learning Representations32 citations Open access
Semantic Scholar
Optimal Pricing in Markets with Non-Convex Costs
Navid Azizan, Yu Su, K. Dvijotham, A. Wierman
2019ACM Conference on Economics and Computation32 citations Open access
Semantic Scholar
A Deterministic Method to Identify Multiple Local Extrema for the AC Optimal Power Flow Problem
Dan Wu, Daniel K. Molzahn, B. Lesieutre, K. Dvijotham
2018IEEE Transactions on Power Systems31 citations Open access
Semantic Scholar
Indirect Prompt Injections: Are Firewalls All You Need, or Stronger Benchmarks?
Rishika Bhagwatkar, Kevin Kasa, Abhay Puri, Gabriel Huang +4 more
2025arXiv.org30 citations
Semantic Scholar
LitLLMs, LLMs for Literature Review: Are we there yet?
Shubham Agarwal, Gaurav Sahu, Abhay Puri, I. Laradji +4 more
2024Trans. Mach. Learn. Res.28 citations
Semantic Scholar
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Alessandro De Palma, Rudy Bunel, K. Dvijotham, M. P. Kumar +1 more
2022arXiv.org27 citations Open access
Semantic Scholar
Correlated Noise Mechanisms for Differentially Private Learning
Krishna Pillutla, Jalaj Upadhyay, Christopher A. Choquette-Choo, K. Dvijotham +8 more
2025arXiv.org25 citations
Semantic Scholar
Optimal Adaptive Linearizations of the AC Power Flow Equations
Sidhant Misra, Daniel K. Molzahn, K. Dvijotham
2018Power Systems Computation Conference25 citations
Semantic Scholar
Verification of deep probabilistic models
K. Dvijotham, M. Garnelo, Alhussein Fawzi, Pushmeet Kohli
2018arXiv.org25 citations
Semantic Scholar
Robust Optimization for Electricity Generation
Haoxiang Yang, D. Morton, Chaithanya Bandi, K. Dvijotham
2018INFORMS journal on computing24 citations Open access
Semantic Scholar
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
Leonard Berrada, Sumanth Dathathri, K. Dvijotham, Robert Stanforth +4 more
2021Neural Information Processing Systems22 citations
Semantic Scholar
Monotone, Bi-Lipschitz, and Polyak-Łojasiewicz Networks
Rui-Gang Wang, K. Dvijotham, I. Manchester
2024International Conference on Machine Learning21 citations
Semantic Scholar
Fixed-Point Theorem-Based Voltage Stability Margin Estimation Techniques for Distribution Systems With Renewables
Yung-Tsai Weng, Suhyoun Yu, K. Dvijotham, Hung Nguyen
2022IEEE Transactions on Industrial Informatics20 citations
Semantic Scholar
A Framework for Robust Long-Term Voltage Stability of Distribution Systems
H. D. Nguyen, K. Dvijotham, Suhyoun Yu, K. Turitsyn
2019IEEE Transactions on Smart Grid20 citations Open access
Semantic Scholar
An efficient nonconvex reformulation of stagewise convex optimization problems
Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, K. Dvijotham
2020Neural Information Processing Systems17 citations
Semantic Scholar
CausalArmor: Efficient Indirect Prompt Injection Guardrails via Causal Attribution
Minbeom Kim, Mihir Parmar, Phillip Wallis, Lesly Miculicich +4 more
2026arXiv.org16 citations
Semantic Scholar