| PRIMA: general and precise neural network certification via scalable convex hull approximations MN Müller, G Makarchuk, G Singh, M Püschel, M Vechev Proceedings of the ACM on Programming Languages 6 (POPL), 1-33, 2022 | 83 | 2022 |
| Ensembling neural networks for digital pathology images classification and segmentation A Pimkin, G Makarchuk, V Kondratenko, M Pisov, E Krivov, M Belyaev Image Analysis and Recognition: 15th International Conference, ICIAR 2018 …, 2018 | 35 | 2018 |
| Prima: Precise and general neural network certification via multi-neuron convex relaxations MN Müller, G Makarchuk, G Singh, M Püschel, M Vechev arXiv preprint arXiv:2103.03638, 2021 | 23 | 2021 |
| Precise multi-neuron abstractions for neural network certification MN Müller, G Makarchuk, G Singh, M Püschel, M Vechev arXiv preprint arXiv:2103.03638, 2021 | 9 | 2021 |
| Tumor delineation for brain radiosurgery by a convnet and non-uniform patch generation E Krivov, V Kostjuchenko, A Dalechina, B Shirokikh, G Makarchuk, ... Patch-Based Techniques in Medical Imaging: 4th International Workshop, Patch …, 2018 | 9 | 2018 |
| Brain tumor image retrieval via multitask learning M Pisov, G Makarchuk, V Kostjuchenko, A Dalechina, A Golanov, ... arXiv preprint arXiv:1810.09369, 2018 | 7 | 2018 |
| Ensembling neural networks for digital pathology images classification and segmentation G Makarchuk, V Kondratenko, M Pisov, A Pimkin, E Krivov, M Belyaev arXiv preprint arXiv:1802.00947, 2018 | 4 | 2018 |
