Neural Networks in Imandra: Matrix Representation as a Verification Choice
Authors: Remi Desmartin, Grant Passmore and Ekaterina Komendantskaya
Paper Information
| Title: | Neural Networks in Imandra: Matrix Representation as a Verification Choice |
| Authors: | Remi Desmartin, Grant Passmore and Ekaterina Komendantskaya |
| Proceedings: | FoMLAS2022 CameraReady |
| Editors: | Nina Narodytska, Omri Isac and Guy Katz |
| Keywords: | Neural networks, Automated reasoning, Formal verification, Functional programming, Imandra |
| Pages: | 18 |
| Talk: | Jul 31 10:00 (Session 1D) |
| Paper: |  |