Stroeva, Ekaterina, Russian Federation
-
Vol 10, No 10 (2022) - Theoretical Informatics and Computer Science
Methods for Formal Verification of Artificial Neural Networks: A Review of Existing Approaches
Abstract PDF (Russian) -
Vol 11, No 7 (2023) - Theoretical Informatics and Computer Science
Extraction of trigger and mask from poisoned data using modified Activation Clustering and Neural Cleanse methods
Abstract PDF (Russian)