Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."
☆10Nov 26, 2022Updated 3 years ago
Alternatives and similar repositories for PRDNN
Users that are interested in PRDNN are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SyReNN: Symbolic Representations for Neural Networks☆41Mar 20, 2023Updated 3 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 11 years ago
- Counterexample-Guided Learning of Monotonic Networks☆18May 19, 2022Updated 4 years ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆25Dec 17, 2020Updated 5 years ago
- 🛠️ Modular C-Like Compiler Framework (Java) A clean, modular Java compiler for a custom C-like language - featuring a full lexer genera…☆12Jun 10, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Integrated Software Analysis Framework☆10Nov 30, 2025Updated 11 months ago
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Dec 16, 2019Updated 6 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 6 years ago
- Fourth edition of VNN COMP (2023)☆16Apr 12, 2023Updated 3 years ago
- Working samples of JSCover☆12Oct 19, 2025Updated last year
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- ☆15Jul 17, 2024Updated 2 years ago
- AI-Lancet, backdoor removal☆10Oct 10, 2022Updated 4 years ago
- An empirical study on patch correctness☆15Nov 5, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- CVPR 2019 Paper——Feature Space Perturbations Yield More Transferable Adversarial Examples re-implementation.☆12Dec 29, 2021Updated 4 years ago
- ☆12Feb 25, 2023Updated 3 years ago
- ☆18Sep 30, 2026Updated last month
- Rotated MNIST dataset☆20Apr 21, 2018Updated 8 years ago
- Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.☆11Aug 20, 2026Updated 2 months ago
- "Scalable Approaches for Test Suite Reduction" online material.☆11Feb 5, 2021Updated 5 years ago
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 6 years ago
- Implemention of "Robust Watermarking of Neural Network with Exponential Weighting" in TensorFlow.☆13Dec 2, 2020Updated 5 years ago
- This repository contains the artifacts accompanied by the paper "Fair Preprocessing"☆13Jul 20, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Improving Machine Translation Systems via Isotopic Replacement☆12Apr 14, 2023Updated 3 years ago
- Framework that implements code offloading with annotations based on Android☆11Sep 24, 2016Updated 10 years ago
- ☆11Jun 26, 2020Updated 6 years ago
- Local server storage media played by mediaplayer android.☆12Sep 10, 2013Updated 13 years ago
- intervals and interval sets for Scala☆20Jan 20, 2017Updated 9 years ago
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆13Feb 9, 2025Updated last year
- A LALR(1) OpenQASM Parser and AST Generator.☆14Jul 29, 2024Updated 2 years ago
- A visual testing tool to compare two web pages visually and generate the pixel difference they have.☆16Dec 14, 2015Updated 10 years ago
- Simple application resource loader facade for Java☆22May 3, 2026Updated 5 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Notes and exercises from Mathematical Logic, 2nd ed. by Ebbinghaus☆13Sep 19, 2016Updated 10 years ago
- [NeurIPS 2021] "Drawing Robust Scratch Tickets: Subnetworks with Inborn Robustness Are Found within Randomly Initialized Networks" by Yon…☆13Feb 13, 2022Updated 4 years ago
- 2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 11 years ago
- book for Halide language programming☆13Sep 8, 2021Updated 5 years ago
- CVPR 2021 | Code to reproduce the results of the paper: A Khakzar, S Baselizadeh, S Khanduja, C Rupprecht, ST Kim, N Navab, Neural Respon…☆12Jun 23, 2021Updated 5 years ago
- Test Selection of Deep Learning☆10Jul 28, 2020Updated 6 years ago
- ☆14May 31, 2021Updated 5 years ago