Property Inference for Deep Neural Networks

v1v2v3 (latest)

Property Inference for Deep Neural Networks

29 April 2019

Ankur Taly

ArXiv (abs)PDF HTML

Papers citing "Property Inference for Deep Neural Networks"

6 / 6 papers shown

Title
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 113 70 0 26 Jul 2021
Incremental Verification of Fixed-Point Implementations of Neural Networks Luiz Sena E. Alves I. Bessa Eddie Batista de Lima Filho Lucas C. Cordeiro 36 0 0 21 Dec 2020
Finding Input Characterizations for Output Properties in ReLU Neural Networks Saket Dingliwal Divyansh Pareek Jatin Arora AAML AI4CE 13 0 0 09 Mar 2020
Discovering Invariances in Healthcare Neural Networks M. T. Bahadori Layne Price OOD 23 0 0 08 Nov 2019
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA Luiz Sena I. Bessa M. R. Gadelha Lucas C. Cordeiro E. Mota 40 11 0 30 Jul 2019
Generating Natural Adversarial Examples Zhengli Zhao Dheeru Dua Sameer Singh GAN AAML 194 601 0 31 Oct 2017