conf.researchr.org / Gleb Makarchuk
Not registered as user yet
Name:Gleb Makarchuk
Country:Switzerland
Affiliation:ETH Zurich
Contributions
| POPL 2022 | Author of PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations within the POPL-track |