Sriram Sankaranarayanan
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Static analysis of ReLU neural networks with tropical polyhedra | SPLASH 2022 | 2022-12-05 |
Claims a concrete static-analysis method that uses tropical polyhedra to abstract ReLU feedforward nets, representing ReLU layers exactly and approximating… | ||
| Static analysis of ReLU neural networks with tropical polyhedra | SAS 2021 | 2021-10-17 |
This work abstracts ReLU feedforward nets with tropical polyhedra and a zone abstraction to compute tight output ranges, proving concrete claims: it verifies… | ||
| nothing matches | ||