simple_adversarial_generator:VNN COMP的简单对抗输入生成器源码

respectively1512 10 0 ZIP 2021-05-03 22:05:08

simple_adversarial_generator VNN-COMP的简单对抗输入生成器包含两种方法来尝试生成安全属性违规: randgen-随机尝试输入以查看是否违反属性 agen-将onnx网络转换为tensorflow1并使用foolbox库尝试生成对抗图像

文件列表

simple_adversarial_generator-main.zip (预估有个75文件)

simple_adversarial_generator-main

src

agen

randgen.py 3KB

onnx_remove_scaling.py 5KB

util.py 7KB

onnx_to_tensorflow1.py 2KB

agen.py 6KB

.mypy_cache

3.8

_thread.data.json 34KB

ast.data.json 27KB

enum.meta.json 1KB

builtins.meta.json 1KB

io.data.json 78KB

typing.meta.json 1KB

codecs.data.json 102KB

enum.data.json 36KB

@plugins_snapshot.json 2B

types.meta.json 1KB

_ast.data.json 107KB

codecs.meta.json 1KB

sys.data.json 61KB

mmap.data.json 30KB

types.data.json 91KB

_importlib_modulespec.meta.json 1KB

string.data.json 15KB

_importlib_modulespec.data.json 13KB

time.meta.json 1KB

itertools.data.json 83KB

threading.meta.json 1KB

abc.meta.json 1KB

threading.data.json 56KB

re.data.json 80KB

_thread.meta.json 1KB

_warnings.meta.json 1KB

posix.data.json 72KB

itertools.meta.json 1KB

importlib

__init__.data.json 5KB

abc.meta.json 1KB

__init__.meta.json 1KB

abc.data.json 34KB

sys.meta.json 1KB

onnx_to_tensorflow1.meta.json 2KB

builtins.data.json 674KB

typing.data.json 363KB

typing_extensions.data.json 19KB

_ast.meta.json 1KB

onnx_to_tensorflow1.data.json 3KB

ast.meta.json 1KB

time.data.json 43KB

collections

__init__.data.json 221KB

abc.meta.json 1KB

__init__.meta.json 1KB

abc.data.json 3KB

io.meta.json 1KB

warnings.meta.json 1KB

logging

__init__.data.json 110KB

__init__.meta.json 1KB

mmap.meta.json 1KB

warnings.data.json 33KB

string.meta.json 1KB

_warnings.data.json 12KB

posix.meta.json 1KB

typing_extensions.meta.json 1KB

__init__.data.json 192KB

path.data.json 70KB

__init__.meta.json 1KB

path.meta.json 1KB

abc.data.json 13KB

re.meta.json 1KB

test_prop.vnnlib 952B

test_unsat.onnx 55KB

test_sat.onnx 55KB

requirements.txt 131B

README.md 338B

.gitignore 102B

vnncomp_scripts

run_instance.sh 1KB

install_tool.sh 600B

prepare_instance.sh 881B

用户评论

暂无评论

密码生成器密码生成器硬件源码

密码生成器此应用程序是一个生成器,可让您根据特定条件创建密码。密码可以介于8到128个字符之间。您可以包括大写,小写,数字和特殊字符。代码该代码使用HTML,CSS和Javascript作为

29 2021-02-23
JAD生成器好用的生成器

一个字,非常好,可以打大多数的文件都转成JAD格式,只需把文件拖动到里面就行了。

19 2021-01-16
PHP生成器简单实例

主要介绍了PHP生成器简单实例,本文讲解了range、xrange函数的基本使用实例,需要的朋友可以参考下

17 2020-10-28
java简单代码生成器

简单 java 代码生成器我是从网上看到的和大家分享一下顺便赚点积分哦

22 2019-02-21
简单mysql代码生成器

.Net 下的简单的mysql的代码生成器，可根据自己的需求修改代码

29 2019-04-10
generator所有Google API的绑定和CLI生成器源码

该项目是的后继者。概述 ci / 由提供的一堆由CI运行的脚本。 Discovery_parser / Google Discovery文档最基本的翻译成rust类型。等等/ 包含用作生成API和

15 2021-04-24
phinx migrations generator用于Phinx的迁移代码生成器源码

Phinx迁移生成器通过将当前数据库与架构信息进行比较来生成迁移。要求 PHP 7.2+或8.0+ 产品特点独立于框架 DBMS:MySQL 5.7 +,MySQL 8,MariaDB(部分受支

16 2021-02-16
reverse shell generator基于Web的反向shell生成器源码

reverse-shell-generator:基于Web的反向shell生成器

12 2021-04-26
Password_generator Python中的基本密码生成器源码

======================= 密码生成器 ======================= 该项目由Dawid J制作

6 2021-05-22
readme generator这是我的自述文件生成器源码

自述生成器这是我的自述文件生成器 09 Node.js家庭作业:专业自述生成器你的任务在GitHub上创建开放源代码项目时,为应用程序提供高质量的自述文件很重要。这应该包括该应用程序的用途,如

17 2021-04-08

simple_adversarial_generator:VNN COMP的简单对抗输入生成器 源码

文件列表

用户评论

推荐下载

simple_adversarial_generator:VNN COMP的简单对抗输入生成器源码