Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2005.10442
Cited By
Unsupposable Test-data Generation for Machine-learned Software
21 May 2020
Naoto Sato
Hironobu Kuruma
H. Ogawa
OOD
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Unsupposable Test-data Generation for Machine-learned Software"
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
251
1,842
0
03 Feb 2017
1
