ResearchTrend.AI
Unsupposable Test-data Generation for Machine-learned Software

Unsupposable Test-data Generation for Machine-learned Software

Naoto Sato
Hironobu Kuruma
H. Ogawa
    OOD
ArXiv (abs)PDFHTML

Papers citing "Unsupposable Test-data Generation for Machine-learned Software"

3 / 3 papers shown
Title
TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing
TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing
Augustus Odena
Ian Goodfellow
AAML
61
322
0
28 Jul 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
318
1,874
0
03 Feb 2017
Auto-Encoding Variational Bayes
Auto-Encoding Variational Bayes
Diederik P. Kingma
Max Welling
BDL
455
16,923
0
20 Dec 2013

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.