Cloud Johnson's repositories
AdvIBP
AdvIBP implementation
Language:PythonMIT000
Language:JuliaMIT000
drawio
repo for draw.io
MIT000
Language:JuliaMIT000
Language:JuliaMIT000
Language:JuliaMIT000
HullReachNV.jl
HullReachNeuralVerification: Methods to soundly verify deep neural networks
Language:JuliaMIT000
NeuralVerification.jl
Methods to soundly verify deep neural networks
Language:JuliaMIT000
Speech-Commands-Classification-by-LSTM-PyTorch
Classification of 11 types of audio clips using MFCCs features and LSTM. Pretrained on Speech Command Dataset with intensive data augmentation.
Language:Jupyter Notebook000
Language:Python000
vnncomp2021
VNN Neural Network Verification Competition 2021
Language:Python000