ForeverZyh

TensorFlow-Program-Bugs

This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.

JOS-Lab

Angora

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

Memory-leak-Fixing-for-C-programs

robust_rnn

review-bot

averloc

Repository for the Adversarial ML on Code things

code2seq

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

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.

eran

ETH Robustness Analyzer for Deep Neural Networks

fse20

artifacts track, fse20

ICS

interval-bound-propagation

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

models

Models and examples built with TensorFlow

PKU_EECS_UGR_THSS

Latex Template for Undergraduate Thesis at School of EECS, Peking University

qiskit-textbook

A university quantum algorithms/computation course supplement based on Qiskit

robust-gcn-structure

Robustness-Verification-for-Transformers

Code for paper "Robustness Verification for Transformers"

Software-Analysis

Terminus2049.github.io

No more 404

tranX

A general-purpose neural semantic parser for mapping natural language queries into machine executable code

treelstm.pytorch

Tree LSTM implementation in PyTorch