74 citations · 81 across the 4 of their papers we have counts for
4 papers
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations
Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh +2
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…
Brain Tumor Image Retrieval via Multitask Learning
Maxim Pisov, Gleb Makarchuk, Valery Kostjuchenko +3
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…
Tumor Delineation For Brain Radiosurgery by a ConvNet and Non-Uniform Patch Generation
Egor Krivov, Valery Kostjuchenko, Alexandra Dalechina +5
Deep learning methods are actively used for brain lesion segmentation. One of the most popular models is DeepMedic, which was developed for segmentation of relatively large lesions…
Ensembling Neural Networks for Digital Pathology Images Classification and Segmentation
Gleb Makarchuk, Vladimir Kondratenko, Maxim Pisov +3
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,…