issues
search
stanleybak
/
vnncomp2021
VNN Neural Network Verification Competition 2021
37
stars
22
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
update vpn script
#16
Wei-TianHao
closed
3 years ago
0
instruction for getting gurobi via vpn on AWS instances
#15
Wei-TianHao
closed
3 years ago
1
convert test_small.onnx and test_tiny.onnx to float
#14
Wei-TianHao
closed
3 years ago
0
add a small net and a tiny net for launching overhead test
#13
Wei-TianHao
closed
3 years ago
0
Updated with int seed
#12
Neelanjana314
closed
3 years ago
0
Verivital benchmark for CNN Pooling networks for MNIST dataset
#11
Neelanjana314
closed
3 years ago
5
add cifar10 resnet benchmark
#10
tcwangshiqi-columbia
closed
3 years ago
6
add marabou-cifar10 benchmarks
#9
wu-haoze
closed
3 years ago
4
Tool submission
#8
stanleybak
opened
3 years ago
85
Nn4sys
#7
Wei-TianHao
closed
3 years ago
0
Add OVAL21 benchmark
#6
alessandrodepalma
closed
3 years ago
0
Add eran benchmark
#5
mnmueller
closed
3 years ago
5
Added mnistfc benchmark
#4
pat676
closed
3 years ago
0
add nn4sys benchmark
#3
Wei-TianHao
closed
3 years ago
17
Benchmarks Discussion
#2
stanleybak
opened
3 years ago
78
Rules Discussion
#1
stanleybak
opened
3 years ago
15