Linking pages
- GitHub - sisl/NeuralVerification.jl: Methods to soundly verify deep neural networks https://github.com/sisl/NeuralVerification.jl 0 comments
- Neural network verification: Where are we and where do we go from here? | SIGPLAN Blog https://blog.sigplan.org/2021/11/04/neural-network-verification-where-are-we-and-where-do-we-go-from-here/ 0 comments
- Model Assertions as a Tool for Quality Assurance and Improving ML Models · Stanford DAWN https://dawn.cs.stanford.edu/2019/03/11/modelassertions/ 0 comments
- Stupid Z3Py Tricks Strikes Back: Verifying a Keras Neural Network | Hey There Buddo! http://www.philipzucker.com/stupid-z3py-tricks-strikes-back-verifying-a-keras-neural-network/ 0 comments
- Provably Robust Deep Learning https://decentdescent.org/smoothadv.html 0 comments
- GitHub - jdnklau/fm-ml: Collection of resources for research concerning Machine Learning and Formal Methods. https://github.com/jdnklau/fm-ml 0 comments
Related searches:
Search whole site: site:arxiv.org
Search title: [1702.01135] Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
See how to search.