CC-Cert: A probabilistic approach to certify general robustness of neural networks M Pautov, N Tursynbek, M Munkhoeva, N Muravev, A Petiushko, ... Proceedings of the AAAI Conference on Artificial Intelligence 36 (7), 7975-7983, 2022 | 18 | 2022 |
Certified robustness via randomized smoothing over multiplicative parameters of input transformations N Muravev, A Petiushko arXiv preprint arXiv:2106.14432, 2021 | 5 | 2021 |
Decidability of the order problem for linear automata NV Muravev Intelligent systems. Theory and applications 24 (2), 145-155, 2020 | 3* | 2020 |
Scaleface: Uncertainty-aware deep metric learning R Kail, K Fedyanin, N Muravev, A Zaytsev, M Panov 2023 IEEE 10th International Conference on Data Science and Advanced …, 2023 | 2 | 2023 |
About orders of linear over rationals automata NV Muravev Intelligent systems. Theory and applications 24 (4), 119-124, 2020 | 2* | 2020 |
Bounds on Orders of Linear Automata NV Muravev Moscow University Mathematics Bulletin 77 (6), 262-268, 2022 | | 2022 |