Concepedia

Mikhail Pautov

MP

Statistics

Publications

1

Citations

17

H-Index

1

Active since

2022

Affiliations

Skolkovo Institute of Science and Technology(Current)

Mikhail Pautov is an author at Skolkovo Institute of Science and Technology specializing in formal verification, deep learning, and data security.

ORCID

Top concepts

Publications per year

2022–2022

1

Publications

1

CC-CERT: A Probabilistic Approach to Certify General Robustness of Neural Networks

Mikhail Pautov, Nurislam Tursynbek, Marina Munkhoeva et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2022 · 17 citations · Full text

, , +19

1–1 of 1