Not registered as user yet

Name:Dimitar I. Dimitrov
Country:Switzerland
Affiliation:ETH Zurich

Contributions

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