Registered user since Fri 17 Sep 2021
Name:Kai Jia
Country:United States
Affiliation:Massachusetts Institute of Technology
Personal website:https://jiakai.xyz/
GitHub:https://github.com/jia-kai
Contributions
| SAS 2021 | Exploiting Verified Neural Networks via Floating Point Numerical Error Verifying Low-dimensional Input Neural Networks via Input Quantization | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile