Pinned Loading

1. llylly/RANUM llylly/RANUM Public

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

   Python 12 2

2. defend_framework defend_framework Public

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

   Python 3

3. certified_lstms certified_lstms Public

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

   Python 1

4. A3T A3T Public

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

   Python 2 1

5. DEBAR DEBAR Public

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

   Python 26 3

6. TensorFlow-Program-Bugs TensorFlow-Program-Bugs Public

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

   Python 30 14