nkAmerica

导航

2020年7月9日 #

neural network robustness verification

摘要: There have been several approaches available. One line of research I focused on is abstract interpretation based approaches. AI2: uses zonotope as the 阅读全文

posted @ 2020-07-09 23:41 nkAmerica 阅读(98) 评论(0) 推荐(0) 编辑

2015年1月12日 #

c4,configure the debug environment

摘要: configure C development and debug environment VC 6.0 on Windows 8.1 阅读全文

posted @ 2015-01-12 00:28 nkAmerica 阅读(176) 评论(0) 推荐(0) 编辑