Verifying Recurrent Neural Networks using Invariant Inference

Jacoby Yuval
Jacoby Yuval
Barrett Clark
Barrett Clark
被引用1|引用|浏览0|来源

摘要

Deep neural networks are revolutionizing the way complex systems are developed. However, these automatically-generated networks are opaque to humans, making it difficult to reason about them and guarantee their correctness. Here, we propose a novel approach for verifying properties of a widespread variant of neural networks, called recu...更多

代码

数据

您的评分 :
0

 

标签
评论