- 博客(2)
- 收藏
- 关注
RSS订阅原创 Java反编译
今天想要看公司项目引入的jar包源码，就下载了反编译软件，有两种方式。JD-GUI图形化界面，可以直接读取jar包JD-Eclipse/JD-IntelliJ将软件以插件的形式集成到IDE，可以直接查看项目jar包源码，在debug时很方便下载地址http://jd.benow.ca/...
2018-10-18 17:50:00
181
原创 Reachability Analysis of Deep Neural Networks with Provable Guarantees 论文小结
论文内容验证深度神经网络的正确性是困难的，我们研究一个关于前馈深度神经网络的一般性可达性问题——给定一个输入集合，使用Lipschitz连续的函数来计算输出，计算这个函数值的上下界。因为神经网络和函数都是利普希茨连续的，所以在这个上下界中的任意数值都是可达的。我们展示了如何通过实例化一个可达性问题来获取安全验证问题，输入范围分析问题和鲁棒性测量问题。我们提出了一种新的基于自适应嵌套优化的算法来解...
2018-10-09 18:54:33
848
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人