Shubham Ugare
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 |
|---|---|---|
| Incremental Verification of Neural Networks | PLDI 2023 | 2023-06-17 |
Complete, verifier-agnostic method IVAN reuses branch-and-bound work by saving a specification tree of partitioned subproblems and then avoids costly analyzer… | ||
| Proof transfer for fast certification of multiple approximate neural networks | OOPSLA 2022 | 2022-12-05 |
FANC generates templates—connected symbolic shapes at an intermediate layer—and a cheap template transformer that adapts those templates to approximate… | ||
| nothing matches | ||