activity
20172022
most citedImproved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

16 citations · 32 across the 9 of their papers we have counts for

collaborators
Showing cs.LGShow all

13 papers · 1 filter

cs.LG20221 cited

A Stochastic Bundle Method for Interpolating Networks

Alasdair Paren, Leonard Berrada, Rudra P. K. Poudel +1

We propose a novel method for training deep neural networks that are capable of interpolation, that is, driving the empirical loss to zero. At each iteration, our method constructs…

cs.LG20222 cited

Learning to be adversarially robust and differentially private

Jamie Hayes, Borja Balle, M. Pawan Kumar

We study the difficulties in learning that arise from robust and differentially private optimization. We first study convergence of gradient descent based adversarial training with…

cs.LG2021

Improving Local Effectiveness for Global robust training

Jingyue Lu, M. Pawan Kumar

Despite its popularity, deep neural networks are easily fooled. To alleviate this deficiency, researchers are actively developing new training strategies, which encourage models th…

cs.LG20213 cited

Neural Network Branch-and-Bound for Neural Network Verification

Florian Jaeckle, Jingyue Lu, M. Pawan Kumar

Many available formal verification methods have been shown to be instances of a unified Branch-and-Bound (BaB) formulation. We propose a novel machine learning framework that can b…

cs.LG20213 cited

Generating Adversarial Examples with Graph Neural Networks

Florian Jaeckle, M. Pawan Kumar

Recent years have witnessed the deployment of adversarial attacks to evaluate the robustness of Neural Networks. Past work in this field has relied on traditional optimization algo…

cs.LG2021

Comment on Stochastic Polyak Step-Size: Performance of ALI-G

Leonard Berrada, Andrew Zisserman, M. Pawan Kumar

This is a short note on the performance of the ALI-G algorithm (Berrada et al., 2020) as reported in (Loizou et al., 2021). ALI-G (Berrada et al., 2020) and SPS (Loizou et al., 202…