Yasmin Chandini Sarita
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 1 in the filters
on a stage with
- Avaljot Singhonce
- Charith Mendisonce
- Gagandeep Singhonce
who talks about the same things
- Vikram S. Adve8 talks
- Keyur Joshi6 talks
| title | conference | date |
|---|---|---|
| Automated Verification of Soundness of DNN Certifiers | OOPSLA 2025 | 2025-10-16 |
Automates soundness checks for abstract-interpretation DNN certifiers by encoding certifier specs in the ConstraintFlow DSL, translating networks to a symbolic… | ||
| nothing matches | ||