Zenodo (CERN European Organization for Nuclear Research) · 2019 · 94 citations · 24 references
ComputingComputer EngineeringComputer ScienceArtificial IntelligenceComputer SecurityFormal MethodsModel CheckingNeural NetworksComputational SecuritySecurity Of Ai SystemsSecurity ProofsSecurity Property VerificationSoundnessSoundness Proofs
This upload contains the models and formulas used to evaluate the quantitative reasoning tool for binarized neural networks called NPAQ (see paper here https://arxiv.org/abs/1906.10395)\n\nPlease visit teobaluta.github.io/npaq for upcoming information and tool release.
24
Deep Residual Learning for Image Recognition
Kaiming He, Xiangyu Zhang, Shaoqing Ren et al. · 2016 · 222.1K citations · Full text
Going deeper with convolutions
Christian Szegedy, Wei Liu, Yangqing Jia et al. · 2015 · 46.8K citations
Monte Carlo sampling methods using Markov chains and their applications
W. Keith Hastings · Biometrika · 1970 · 15.2K citations
Membership Inference Attacks Against Machine Learning Models
Reza Shokri, Marco Stronati, Congzheng Song et al. · 2017 · 4.2K citations
The Limitations of Deep Learning in Adversarial Settings
Nicolas Papernot, Patrick McDaniel, Somesh Jha et al. · 2016 · 3.9K citations