Quantitative Verification of Neural Networks And its Security Applications

Conference on Computer and Communications Security (CCS), 2019

25 June 2019

Papers citing "Quantitative Verification of Neural Networks And its Security Applications"

1 / 51 papers shown

Title
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 223 14 0 13 Dec 2019