(Extended) Interval Analysis
From MaRDI portal
- Efficient interaction-aware interval analysis of neural network feedback loops
- Eisbach: a proof method language for Isabelle
- Introduction to deep learning. From logical calculus to artificial intelligence
- Introduction to Interval Analysis
- 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: (Extended) Interval Analysis
