Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2111.01395
Cited By
Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds
2 November 2021
Yujia Huang
Huan Zhang
Yuanyuan Shi
J Zico Kolter
Anima Anandkumar
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds"
1 / 51 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
249
1,838
0
03 Feb 2017
Previous
1
2