Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2310.04916
Cited By
Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks
7 October 2023
Brendon G. Anderson
Samuel Pfrommer
Somayeh Sojoudi
OOD
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks"
2 / 2 papers shown
Title
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
222
1,818
0
03 Feb 2017
Piecewise convexity of artificial neural networks
Blaine Rister
Daniel L Rubin
AAML
ODL
21
31
0
17 Jul 2016
1