Formalizing Neural Networks
From MaRDI portal
- Eisbach: a proof method language for Isabelle
- Introduction to deep learning. From logical calculus to artificial intelligence
- Neural networks and deep learning. A textbook
- Reluplex: an efficient SMT solver for verifying deep neural networks
- Verifying feedforward neural networks for classification in Isabelle/HOL
This page was built for software: Formalizing Neural Networks
