no code implementations • 5 Mar 2021 • Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh, Markus Püschel, Martin Vechev
Formal verification of neural networks is critical for their safe adoption in real-world applications.
no code implementations • 22 Oct 2018 • Maxim Pisov, Gleb Makarchuk, Valery Kostjuchenko, Alexandra Dalechina, Andrey Golanov, Mikhail Belyaev
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.
no code implementations • 3 Feb 2018 • Gleb Makarchuk, Vladimir Kondratenko, Maxim Pisov, Artem Pimkin, Egor Krivov, Mikhail Belyaev
In the last years, neural networks have proven to be a powerful framework for various image analysis problems.