activity
20042025
most citedA far UV study of interstellar gas towards HD34078: high excitation H2 and small scale structure - Based on observations performed by the FUSE mission and at the CFHT telescope

46 citations · 64 across the 17 of their papers we have counts for

collaborators
Showing 2023 · math.OCShow all

1 paper · 2 filters

math.OC2023

Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks

Brendon G. Anderson, Samuel Pfrommer, Somayeh Sojoudi

The reliable deployment of neural networks in control systems requires rigorous robustness guarantees. In this paper, we obtain tight robustness certificates over convex attack set…