NeuralNetworkVerification

Pinned Repositories

artifact-dasc-docking
Code and data accompanying DASC 2024 paper
Language:Python0 2 00
artifact-fmcad24-docking
Tools and scripts for reproducing results for FMCAD 2024 paper on Neural Lyapunov Barrier Certificates
Language:Python0 2 00
bounding-softmax
Language:Jupyter Notebook2 6 00
Marabou
Language:C++268 28 26693
SafeRL
Fork of SafeRL repository used in Stanford FMCAD and DASC papers
Language:MATLAB0 0 00
VeriX
VeriX: Towards Verified Explainability of Deep Neural Networks
Language:Python9 4 22

NeuralNetworkVerification's Repositories

NeuralNetworkVerification/Marabou
Language:C++268 28 26693
NeuralNetworkVerification/VeriX
VeriX: Towards Verified Explainability of Deep Neural Networks
Language:Python9 4 22
NeuralNetworkVerification/bounding-softmax
Language:Jupyter Notebook2 6 00
NeuralNetworkVerification/artifact-dasc-docking
Code and data accompanying DASC 2024 paper
Language:Python0 2 00
NeuralNetworkVerification/artifact-fmcad24-docking
Tools and scripts for reproducing results for FMCAD 2024 paper on Neural Lyapunov Barrier Certificates
Language:Python0 2 00
NeuralNetworkVerification/SafeRL
Fork of SafeRL repository used in Stanford FMCAD and DASC papers
Language:MATLAB0 0 00