3 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LG2021★ 3 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.LG2021★ 3 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…