3 citations · 3 across the 2 of their papers we have counts for
Showing cs.LGShow all
3 papers · 1 filter
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.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.LG2019
Neural Network Branching for Neural Network Verification
Jingyue Lu, M. Pawan Kumar
Formal verification of neural networks is essential for their deployment in safety-critical areas. Many available formal verification methods have been shown to be instances of a u…