Denis Mazzucato
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Reduced Products of Abstract Domains for Fairness Certification of Neural Networks | SPLASH 2022 | 2022-12-05 |
Libra is an open‑source static analyzer that certifies dependency fairness for ReLU feedforward classifiers by combining a cheap forward pre‑analysis over… | ||
| Reduced Products of Abstract Domains for Fairness Certification of Neural Networks | SAS 2021 | 2021-10-17 |
Tool analyzes ReLU feed‑forward classifiers and first runs a forward pre-analysis that splits the input space by counting uncertain ReLUs against configurable… | ||
| nothing matches | ||