foreverzyh Goto Github PK

a3t

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

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)

angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

ascc

auto_lirpa

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

averloc

Repository for the Adversarial ML on Code things

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~

certified_lstms

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

closure-compiler

A JavaScript checker and optimizer.

code2seq

Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"

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.

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.

diffai

A certifiable defense against adversarial examples by training neural networks to be provably robust

dl2

DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.

docs

TensorFlow documentation

eran

ETH Robustness Analyzer for Deep Neural Networks

finpie

Simple library to download some financial data.

foreverzyh.github.io

fse20

artifacts track, fse20

human-eval

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

ics

interval-bound-propagation

This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715

jos-lab

lebench

malwarebackdoors

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