wang-jingyi

Ziqian

Learn probabilistic models from system trace for verification

DEEPSEC

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

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

DLV

Safety Verification of Deep Neural Networks

wang-jingyi.github.io

My personal website

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

Ziqian_evaluation

Evaluation for tool LAR