1 citations · 2 across the 2 of their papers we have counts for
2 papers
math.OC2024★ 1 cited
Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification
Haoruo Zhao, Hassan Hijazi, Haydn Jones +3
Neural network verification aims at providing formal guarantees on the output of trained neural networks, to ensure their robustness against adversarial examples and enable their d…
hep-ex2021★ 1 cited
Magnetised quark nuggets in the atmosphere
T. Sloan, J. Pace VanDevender, Tracianne B. Neilsen +5
A search for magnetised quark nuggets (MQN) is reported using acoustic signals from hydrophones placed in the Great Salt Lake (GSL) in the USA. No events satisfying the expected si…