Reluplex---An Efficient SMT Solver for Verifying Deep Neural Networkd

【文件属性】：

文件名称：Reluplex---An Efficient SMT Solver for Verifying Deep Neural Networkd

文件大小：600KB

文件格式：PDF

更新时间：2020-11-05 02:20:11

深度学习 SMT

Reluplex---An Efficient SMT Solver for Verifying Deep Neural Networkd