ForeverZyh

DEBAR

This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Architectures.

defend_framework

This repository contains the implementation and evaluation of our Neurips 2022 paper: BagFlip: A Certified Defense Against Data Poisoning.

A3T

This repository contains the implementation and the evaluation of our ICML 2020 paper: Robustness to Programmable String Transformations via Augmented Abstract Training.

certified_lstms

This repository contains the implementation and evaluation of our EMNLP 2021 paper: Certified Robustness to Programmable Transformations in LSTMs.

P3-eBPF

P3 of Adv OS CS736: This repository contains C++ implementations of different cache replacement policies, including LRU, 2Q, ARC, and OPT.

robust_cfx

ASCC

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

alpha-beta-CROWN

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)

auto_LiRPA

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

BaggingCertifyDataPoisoning

c3po

Code for the paper "A Structural Model for Contextual Code Changes"

ccf-deadlines

⏰ CCF recommendation conference Deadline Countdowns / Please star this project, thanks~

closure-compiler

A JavaScript checker and optimizer.

ContraCLM

[ACL 2023] Code for ContraCLM: Contrastive Learning For Causal Language Model

convex_adversarial

A method for training neural networks that are provably robust to adversarial attacks.

docs

TensorFlow documentation

finpie

Simple library to download some financial data.

ForeverZyh.github.io

human-eval

Code for the paper "Evaluating Large Language Models Trained on Code"

LEBench

MalwareBackdoors

Code for the paper Explanation-Guided Backdoor Poisoning Attacks Against Malware Classifiers

MDR

POPQORN

An Algorithm to Quantify Robustness of Recurrent Neural Networks

PyARC

Python implementation of Adaptive replacement cache

RANUM

[ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.

rwa

Real World Algorithms Web Site

Structure-free-certified-NLP

SAFER: A Structure-free Approach For cErtified Robustness to Adversarial Word Substitutions (ACL 2020)

wowchemy-hugo-themes

yfinance

Yahoo! Finance market data downloader (+faster Pandas Datareader)