Verifying Recurrent Neural Networks Using Invariant Inference.

Yuval Jacoby, Clark W. Barrett, Guy Katz

Browse the full ATVA paper archive.