meetvora / deepZ

Verifying neural networks with zonotope relaxations.

Geek Repo

Github PK Tool