“…Widely applied in many areas of artificial intelligence, neural networks are increasingly used as representations of formal certificates for the correctness of systems. Previous work has applied machine learning to the formal verification of computer programs [3,26,40,43,45,51,61], and of dynamical and control systems [2,14,34,44,46,53].…”