M. Pawan Kumar
University of Oxford
H-index: 37
Europe-United Kingdom
Top articles of M. Pawan Kumar
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Mathematical discoveries from program search with large language models | Nature | Bernardino Romera-Paredes Mohammadamin Barekatain Alexander Novikov Matej Balog M Pawan Kumar | 2024/1/18 |
Scaling the convex barrier with sparse dual algorithms | Journal of Machine Learning Research | Alessandro De Palma Harkirat Singh Behl Rudy Bunel Philip HS Torr M Pawan Kumar | 2024 |
Faithful Knowledge Distillation | arXiv preprint arXiv:2306.04431 | Tom A Lamb Rudy Brunel M Pawan Kumar Philip HS Torr Francisco Eiras | 2023/6/7 |
Expressive Losses for Verified Robustness via Convex Combinations | arXiv preprint arXiv:2305.13991 | Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M Pawan Kumar Robert Stanforth | 2023/5/23 |
Provably Correct Physics-Informed Neural Networks | arXiv preprint arXiv:2305.10157 | Francisco Eiras Adel Bibi Rudy Bunel Krishnamurthy Dj Dvijotham Philip Torr | 2023/5/17 |
Neural Lower Bounds for Verification | Florian Jaeckle M Pawan Kumar | 2023/2/8 | |
Efficient Certification of Physics-Informed Neural Networks | Francisco Eiras Adel Bibi Rudy R Bunel Krishnamurthy Dj Dvijotham Philip Torr | 2023/10/13 | |
Lookback for learning to branch | arXiv preprint arXiv:2206.14987 | Prateek Gupta Elias B Khalil Didier Chetélat Maxime Gasse Yoshua Bengio | 2022/6/30 |
IBP regularization for verified adversarial robustness via branch-and-bound | arXiv preprint arXiv:2206.14772 | Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M Pawan Kumar Robert Stanforth | 2022/6/29 |
Learning to be adversarially robust and differentially private | arXiv preprint arXiv:2201.02265 | Jamie Hayes Borja Balle M Pawan Kumar | 2022/1/6 |
In defense of the unitary scalarization for deep multi-task learning | Advances in Neural Information Processing Systems | Vitaly Kurin Alessandro De Palma Ilya Kostrikov Shimon Whiteson Pawan K Mudigonda | 2022/12/6 |
Faking Interpolation Until You Make It | Alasdair Paren Rudra PK Poudel M Pawan Kumar | 2022/9/24 | |
Neural network branch-and-bound for neural network verification | arXiv preprint arXiv:2107.12855 | Florian Jaeckle Jingyue Lu M Pawan Kumar | 2021/7/27 |
Make sure you're unsure: A framework for verifying probabilistic specifications | Advances in Neural Information Processing Systems | Leonard Berrada Sumanth Dathathri Krishnamurthy Dvijotham Robert Stanforth Rudy R Bunel | 2021/12/6 |
Ancer: Anisotropic certification via sample-wise volume maximization | Transactions on Machine Learning Research | Francisco Eiras Motasem Alfarra M Pawan Kumar Philip HS Torr Puneet K Dokania | 2022 |
Comment on stochastic Polyak step-size: Performance of ALI-G | arXiv preprint arXiv:2105.10011 | Leonard Berrada Andrew Zisserman M Pawan Kumar | 2021/5/20 |
Attention for Adversarial Attacks: Learning from your Mistakes | Florian Jaeckle Aleksandr Agadzhanov Jingyue Lu M Pawan Kumar | 2021/12/2 | |
Improved branch and bound for neural network verification via lagrangian decomposition | arXiv preprint arXiv:2104.06718 | Alessandro De Palma Rudy Bunel Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli | 2021/4/14 |
Generating adversarial examples with graph neural networks | Florian Jaeckle M Pawan Kumar | 2021/5/7 | |
Scaling the convex barrier with active sets | Alessandro De Palma Harkirat Singh Behl Rudy Bunel Philip HS Torr M Pawan Kumar | 2021 |