Search

Dj's research website

Dj's research website

Home
Publications
CV

others

Latest

Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Verification of non-linear specifications for neural networks

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite