wang-jingyi Goto Github PK

50530

For software engineering course

adversarial-reading-list

adversarial-robustness-toolbox

Python library for adversarial attacks and defenses (evasion, poisoning) for neural networks with multiple framework support

android-apps

my android apps

care

icse 2022 care

cleverhans

An adversarial example library for constructing attacks, building defenses, and benchmarking both

deepsec

DEEPSEC: A Uniform Platform for Security Analysis of Deep Learning Model

dlv

Safety Verification of Deep Neural Networks

drtest

dtmc.learn

active learning of dtmc

dynamic_adv_training

Code for ICML2019 Paper "On the Convergence and Robustness of Adversarial Training"

hexo-theme-bslight

A theme based on Light for Hexo

imcis-artifact

The TACAS'19 artifact submission for the tool IMCIS

llm_4_plc

LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems

mnist_challenge

A challenge to explore adversarial robustness of neural networks on MNIST.

myslides

Slide of my talks

pytorch-cifar

95.16% on CIFAR10 with PyTorch

reko

Reko is a binary decompiler.

shap

A unified approach to explain the output of any machine learning model.

soft_patterns

Text classification code described in "SoPa: Bridging CNNs, RNNs, and Weighted Finite-State Machines" by Roy Schwartz, Sam Thomson and Noah A. Smith, ACL 2018

ssj

Stochastic Simulation in Java

starter-hugo-academic

wang-jingyi.github.io

My personal website

ziqian

Learn probabilistic models from system trace for verification

ziqian_evaluation

Evaluation for tool LAR