meetvora/deepZ meetvora/deepZ

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Python
  • Created almost 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
meetvora/deepZ
github

meetvora

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Verifying neural networks with zonotope relaxations.

More Repositories

1

mlp-classifier

A handwritten multilayer perceptron classifer using numpy.
Python
226
star
2

sbox-analyser

A toolkit to analyse and study the properties of a given substitution box.
Python
8
star
3

PoseNet

Code for course project `Machine Perception` at ETH Zurich, Spring 2019.
Python
4
star
4

euclid

Online competition hosting.
Python
3
star
5

dis-dns

A distributed DNS server-client system using RPC
C
2
star
6

Blog

Hostin' for the blog
CSS
1
star
7

Z

2048 Derivative
CSS
1
star
8

cil19

TeX
1
star