Not registered as user yet
Name:Sriram Sankaranarayanan
Country:United States
Affiliation:University of Colorado, Boulder
Personal website:http://www.cs.colorado.edu/~srirams/
Contributions
| SAS 2021 | Static analysis of ReLU neural networks with tropical polyhedra | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2021-profile
View general profile
View general profile