项目描述 ：
use abstract model to mimic rnn, aiming to help us find adversarial examples, handle robustness problem of rnn. Use statistical model checking to verify properties on probabilistic abstract model of rnn.

高级语言：

项目主页：

项目地址: git://github.com/MarkKobs/smc_rnn.git

创建时间： 2020-12-06T03:13:05Z
项目社区：https://github.com/MarkKobs/smc_rnn
开源协议：
下载