Michael Everett

activity

20242026

most citedUncertainty-Aware Ankle Exoskeleton Control

1 citations · 2 across the 11 of their papers we have counts for

collaborators

Showing 2026 · cs.LGShow all

1 paper · 2 filters

cs.LG2026

$(DNN)^{2}$ : Doubly Non-Negative Relaxations for Deep Neural Networks

Hanna Jiamei Zhang, Alan Papalia, Michael Everett +1

Existing linear program (LP) and semidefinite program (SDP) relaxations for rectified linear unit (ReLU) neural network (NN) verification yield overly-conservative safety guarantee…

(DNN)2: Doubly Non-Negative Relaxations for Deep Neural Networks

$(DNN)^{2}$ : Doubly Non-Negative Relaxations for Deep Neural Networks