The Charon tool for analyzing neural network robustness
☆13Mar 19, 2020Updated 5 years ago
Alternatives and similar repositories for charon
Users that are interested in charon are comparing it to the libraries listed below
Sorting:
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 7 years ago
- Certifying Geometric Robustness of Neural Networks☆16Mar 24, 2023Updated 2 years ago
- A Static Analysis Tool For Android Apps☆20Dec 19, 2025Updated 2 months ago
- Keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular da…☆19Jun 12, 2024Updated last year
- 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
- β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification☆31Nov 9, 2021Updated 4 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 6 years ago
- Neural Network Enumeration Tool☆34Jan 8, 2026Updated last month
- ☆10Mar 24, 2025Updated 11 months ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- ☆13Mar 6, 2010Updated 15 years ago
- Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-c…☆40Mar 24, 2025Updated 11 months ago
- A low-level, cross-platform port scanner and packet flooder written in Rust.☆13Mar 25, 2025Updated 11 months ago
- ☆12Apr 1, 2021Updated 4 years ago
- A blazingly fast python library for serializing/deserializing python objects to/from binary files☆10Feb 18, 2026Updated 2 weeks ago
- ☆12Jun 18, 2024Updated last year
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- SyReNN: Symbolic Representations for Neural Networks☆41Mar 20, 2023Updated 2 years ago
- A simple library for loading word2vec binary model.☆12Sep 17, 2015Updated 10 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- Steam authentication library in Rust☆10Jun 18, 2019Updated 6 years ago
- A Rust crate to parse EU Digital Green Certificates for COVID-19☆11Feb 2, 2022Updated 4 years ago
- Determines the ethnicity based on your last name☆10Aug 17, 2014Updated 11 years ago
- ☆14Mar 18, 2020Updated 5 years ago
- a lightweight win32 patcher that can also hook constructors, destructors and virtual functions☆12Apr 18, 2022Updated 3 years ago
- Provide a standard source set (and build) for various compression libraries☆13May 21, 2016Updated 9 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- A Code Efficiency Benchmark for Code Generation☆13May 26, 2025Updated 9 months ago
- Never fill a sockaddr_in struct by hand again!☆13Apr 10, 2020Updated 5 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- Xenon is a WebDriver proxy, for running multiple WebDriver sessions through a single hub☆12Jun 30, 2022Updated 3 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- Direct Play Helper☆11Sep 9, 2021Updated 4 years ago
- A procedural macro to combine multiple configuration methods at compile time☆12Mar 29, 2023Updated 2 years ago
- ☆13Jan 12, 2018Updated 8 years ago
- Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.☆18Mar 3, 2015Updated 11 years ago