xThe data center, from which the conference websites are hosted, is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
Gregory Bonaert

Registered user since Thu 15 Apr 2021

Name:Gregory Bonaert
Affiliation:ETH Zurich
Personal website:https://gregbonaert.com
Research interests:Machine Learning, Abstract Interpretation, Deep Learning, Trustworthy AI


PLDI 2021 Author of Fast and Precise Certification of Transformers within the PLDI-track