3 citations · 13 across the 16 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2021★ 1 cited
Verifying Quantized Neural Networks using SMT-Based Model Checking
Luiz Sena, Xidan Song, Erickson Alves +4
Artificial Neural Networks (ANNs) are being deployed for an increasing number of safety-critical applications, including autonomous cars and medical diagnosis. However, concerns ab…
cs.LG2020★ 1 cited
Generating Adversarial Inputs Using A Black-box Differential Technique
João Batista Pereira Matos Juúnior, Lucas Carvalho Cordeiro, Marcelo d'Amorim +1
Neural Networks (NNs) are known to be vulnerable to adversarial attacks. A malicious agent initiates these attacks by perturbing an input into another one such that the two inputs…