Registered user since Sun 28 Apr 2019

Name:Zi Wang
Country:United States
Affiliation:University of Wisconsin-Madison
Research interests:Verification, Robust Deep Learning

Contributions

POPL 2022 Author of Interval Universal Approximation for Neural Networks within the POPL-track