Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Makarchuk, Gleb"'
Publikováno v:
Proceedings of the ACM on Programming Languages, Volume 6, Issue POPL, January 2022, Article No.: 43, pp 1-33
Formal verification of neural networks is critical for their safe adoption in real-world applications. However, designing a precise and scalable verifier which can handle different activation functions, realistic network architectures and relevant sp
Externí odkaz:
http://arxiv.org/abs/2103.03638
Autor:
Pisov, Maxim, Makarchuk, Gleb, Kostjuchenko, Valery, Dalechina, Alexandra, Golanov, Andrey, Belyaev, Mikhail
Classification-based image retrieval systems are built by training convolutional neural networks (CNNs) on a relevant classification problem and using the distance in the resulting feature space as a similarity metric. However, in practical applicati
Externí odkaz:
http://arxiv.org/abs/1810.09369
Autor:
Makarchuk, Gleb, Kondratenko, Vladimir, Pisov, Maxim, Pimkin, Artem, Krivov, Egor, Belyaev, Mikhail
In the last years, neural networks have proven to be a powerful framework for various image analysis problems. However, some application domains have specific limitations. Notably, digital pathology is an example of such fields due to tremendous imag
Externí odkaz:
http://arxiv.org/abs/1802.00947