vtjeng/MIPVerify-converter vtjeng/MIPVerify-converter

  • Stars
    star
    1
  • Language
    Julia
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vtjeng/MIPVerify-converter
github

vtjeng

Reviews

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

Repository Details

More Repositories

1

MIPVerify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming
Julia
110
star
2

friends-of-the-round-table

Code for problem at http://math.stackexchange.com/questions/833541/making-friends-around-a-circular-table
Mathematica
2
star
3

adversarial-verifier

Verification of vulnerability of neural network to adversarial examples.
Jupyter Notebook
1
star
4

PiTimelapse

Timelapse photography with the Raspberry Pi camera.
Python
1
star
5

adversarial-examples-linear-classifier

Finding adversarial examples for a linear classifier
MATLAB
1
star
6

tensorflow_mnist_extended

Extended version of Tensorflow MNIST tutorial (https://www.tensorflow.org/versions/r0.11/tutorials/index.html) with visualization of results.
Jupyter Notebook
1
star