Registered user since Mon 8 Mar 2021
Name: Teodora Baluta
Country: Singapore
Affiliation: National University of Singapore
Personal website: https://www.comp.nus.edu.sg/~teodorab/
Twitter: https://twitter.com/teobaluta
GitHub: https://github.com/teobaluta
Research interests: Machine Learning, Security, Formal Methods
Contributions
| ICSE 2021 | Scalable Quantitative Verification For Deep Neural Networks Scalable Quantitative Verification For Deep Neural Networks | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile