Ekaterina Komandantskaya
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
- Grant Passmoreonce
- Guy Katzonce
- Kathrin Starkonce
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Towards a Certified Proof Checker for Deep Neural Network Verification | LOPSTR 2023 | 2023-10-23 |
A formally verified proof checker for deep neural network verification is implemented in Imandra and extracts to native OCaml, using Simplex proof certificates… | ||
| Compiling higher-order specifications to SMT solvers: how to deal with rejection ... | CPP 2023 | 2023-01-16 |
Claims a verified pipeline that compiles higher-order Vehicle specifications to SMT while giving pinpointed rejections, implemented for Marabou-style backends… | ||
| nothing matches | ||