Eric Goubault
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Short talks: Past, Present and Future of AI | N40AI 2024 | 2024-01-20 |
A rapid history of abstract interpretation that traces concrete claims and engineering outcomes: presents the formal method used to analyze Airbus C code with… | ||
| 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 | ||