Search Results for author: Yuval Jacoby

Found 1 papers, 1 papers with code

Date Published Github Stars

Verifying Recurrent Neural Networks using Invariant Inference

1 code implementation • 6 Apr 2020 • Yuval Jacoby, Clark Barrett, Guy Katz

Deep neural networks are revolutionizing the way complex systems are developed.

5
Paper
Code
Cannot find the paper you are looking for? You can Submit a new open access paper.
Contact us on: hello@paperswithcode.com . Papers With Code is a free resource with all data licensed under CC-BY-SA.
Terms Data policy Cookies policy