Concepedia

Gleb Makarchuk

GM

Statistics

Publications

2

Citations

80

H-Index

2

Active since

2021

Affiliations

University of Illinois Urbana-Champaign(Current)

Gleb Makarchuk is an author at University of Illinois Urbana-Champaign specializing in convex hull verification, autonomous systems, and artificial intelligence.

ORCID

Publications per year

2021–2022

2

Publications

2

PRIMA: general and precise neural network certification via scalable convex hull approximations

Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh et al. · Proceedings of the ACM on Programming Languages · 2022 · 67 citations · Full text

, , +16

PRIMA: Precise and General Neural Network Certification via Multi-Neuron Convex Relaxations

Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh et al. · arXiv (Cornell University) · 2021 · 13 citations · Full text

, , +15

1–2 of 2