Verifying Feedforward Neural Networks for Classification in Isabelle/HOL.

Achim D. Brucker, Amy Stell

Browse the full FM paper archive.