Registered user since Fri 8 Jan 2021

Name:Louis Rustenholz
Country:Spain
Affiliation:Universidad Polit├ęcnica de Madrid (UPM) and IMDEA Software Institute

Contributions

SPLASH 2022 Author of Static analysis of ReLU neural networks with tropical polyhedra within the COVID Time Papers In Person-track
SAS 2021 Author of Static analysis of ReLU neural networks with tropical polyhedra within the SAS-track