Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2401.02283
Cited By
DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace
4 January 2024
Guy Katz
Natan Levy
Idan Refaeli
Raz Yerushalmi
AAML
Re-assign community
ArXiv
PDF
HTML
Papers citing
"DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace"
1 / 1 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
1
