Krishnamurthy Dvijotham
- Stealing Part of a Production Language Model
2024/03/11 by Nicholas Carlini, Carlini, Nicholas, Daniel Paleka +26 · 11 voices · 26 citations
Computer Science · #Natural Language Processing Techniques #cs.CR
- On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models
2018/10/30 by Sven Gowal, Gowal, Sven, Krishnamurthy Dvijotham +15 · 43 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Machine Learning and Algorithms #Fault Detection and Control Systems
- Safe Exploration in Continuous Action Spaces
2018/01/26 by Gal Dalal, Krishnamurthy Dvijotham, Dalal, Gal +9 · 23 citations
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Data Stream Mining Techniques #FOS: Computer and information sciences #Reinforcement Learning in Robotics
- Rich Human Feedback for Text-to-Image Generation
2023/12/15 by Youwei Liang, Junfeng He, Liang, Youwei +33 · 30 citations
Engineering · Computer Science · #Human Motion and Animation #Robotics and Automated Systems #Video Analysis and Summarization
- Interactive Concept Bottleneck Models
2022/12/14 by Kushal Chauhan, Chauhan, Kushal, Rishabh Tiwari +7 · 7 citations
Computer Science · Engineering · #Explainable Artificial Intelligence (XAI) #Data Stream Mining Techniques #Energy Load and Power Forecasting
- Expressive Losses for Verified Robustness via Convex Combinations
2023/05/23 by Alessandro De Palma, De Palma, Alessandro, Rudy Bunel +9 · 6 citations
Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation
2019/09/03 by Po-Sen Huang, Robert Stanforth, Huang, Po-Sen +13 · 4 citations
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Topic Modeling
- A Unifying Framework for Linearly Solvable Control
2012/02/14 by Krishnamurthy Dvijotham, Dvijotham, Krishnamurthy, Emanuel Todorov +1 · 2 citations
Computer Science · Engineering · #Control and Stability of Dynamical Systems #FOS: Electrical engineering #FOS: Mathematics #Guidance and Control Systems #Optimization and Control (math.OC) #Robotic Path Planning Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
- Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
2020/10/22 by Sumanth Dathathri, Dathathri, Sumanth, Krishnamurthy Dvijotham +19 · 3 citations
Computer Science · #Adversarial Robustness in Machine Learning #Machine Learning and Algorithms #Physical Unclonable Functions (PUFs) and Hardware Security
- LitLLMs, LLMs for Literature Review: Are we there yet?
2024/12/15 by Shubham Agarwal, Gaurav Sahu, Agarwal, Shubham +13 · 9 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Digital Libraries (cs.DL) #FOS: Computer and information sciences #Law, AI, and Intellectual Property #Library Science and Information Systems #Machine Learning (cs.LG) #Research Data Management Practices
- IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
2022/06/29 by Alessandro De Palma, Rudy Bunel, De Palma, Alessandro +7 · 3 citations
Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- DoomArena: A framework for Testing AI Agents Against Evolving Security Threats
2025/04/18 by Leo Boisvert, Léo Boisvert, Mihir Bansal +22 · 1 voice · 10 citations
Computer Science · #Adversarial Robustness in Machine Learning #Advanced Malware Detection Techniques #Network Security and Intrusion Detection
- Universal Convexification via Risk-Aversion
2014/06/03 by Krishnamurthy Dvijotham, Maryam Fazel, Dvijotham, Krishnamurthy +3 · 1 citation
Computer Science · Mathematics · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Markov Chains and Monte Carlo Methods #Optimization and Control (math.OC) #Reinforcement Learning in Robotics #Stochastic Gradient Optimization Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
- Efficient and Near-Optimal Noise Generation for Streaming Differential Privacy
2024/04/25 by Krishnamurthy Dvijotham, Dvijotham, Krishnamurthy, H. Brendan McMahan +7 · 1 voice · 2 citations
Computer Science · Engineering · #Advanced MIMO Systems Optimization #Power Line Communications and Noise #Privacy-Preserving Technologies in Data #cs.CC #cs.CR #cs.DS #cs.LG
- Selective Concept Models: Permitting Stakeholder Customisation at Test-Time
2023/06/14 by Matthew L Barker, Barker, Matthew, Katherine M. Collins +7 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Machine Learning (cs.LG)
- Monotone, Bi-Lipschitz, and Polyak-Lojasiewicz Networks
2024/02/02 by Ruigang Wang, Wang, Ruigang, Krishnamurthy Dvijotham +3 · 2 citations
Computer Science · Business, Management and Accounting · Physics and Astronomy · #Neural Networks and Applications #Advanced Queuing Theory Analysis #Complex Network Analysis Techniques
- Constructing Convex Inner Approximations of Steady-State Security\n Regions
2017/08/22 by Hung D. Nguyen, Nguyen, Hung D., Krishnamurthy Dvijotham +4 · 1 citation
Engineering · #Optimal Power Flow Distribution #Power System Optimization and Stability
- Lagrangian Decomposition for Neural Network Verification
2020/02/24 by Rudy Bunel, Alessandro De Palma, Bunel, Rudy +11 · 2 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Advanced Neural Network Applications #Advanced Memory and Neural Computing
- Make Sure You're Unsure: A Framework for Verifying Probabilistic\n Specifications
2021/02/18 by Leonard Berrada, Berrada, Leonard, Sumanth Dathathri +14 · 1 citation
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #Fault Detection and Control Systems
- Through the Stealth Lens: Attention-Aware Defenses Against Poisoning in RAG
2025/06/04 by Sarthak Choudhary, Nils Palumbo, Choudhary, Sarthak +7 · 4 citations
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing
- Correlated Noise Mechanisms for Differentially Private Learning
2025/06/09 by Krishna Pillutla, Jalaj Upadhyay, Pillutla, Krishna +21 · 3 citations
Computer Science · Mathematics · #Privacy-Preserving Technologies in Data #Stochastic Gradient Optimization Techniques #Random Matrices and Applications