☆22Jun 23, 2021Updated 4 years ago
Alternatives and similar repositories for CNN-Cert
Users that are interested in CNN-Cert are comparing it to the libraries listed below
Sorting:
- https://beta.mxnet.io/☆13Jul 25, 2019Updated 6 years ago
- A toolkit to create, launch and monitor SLURM jobs over existing python scripts.☆12May 13, 2024Updated last year
- Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://g…☆30Nov 1, 2019Updated 6 years ago
- This tool dumps images in tensorboard☆17Sep 12, 2020Updated 5 years ago
- Certifying Geometric Robustness of Neural Networks☆16Mar 24, 2023Updated 2 years ago
- An Algorithm to Quantify Robustness of Recurrent Neural Networks☆49Apr 24, 2020Updated 5 years ago
- Codes for reproducing the robustness evaluation scores in “Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approac…☆52Sep 18, 2018Updated 7 years ago
- The released code of Neurify in NIPS 2018☆50Dec 8, 2022Updated 3 years ago
- A summary of my recently surveyed papers. Some papers on Arxiv with unimpressive results are not included.☆25Apr 18, 2018Updated 7 years ago
- Codes for reproducing the experimental results in "CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Net…☆27Jun 23, 2021Updated 4 years ago
- CLEVER (Cross-Lipschitz Extreme Value for nEtwork Robustness) is a robustness metric for deep neural networks☆63Aug 3, 2021Updated 4 years ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆30Apr 14, 2020Updated 5 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆32Updated this week
- ☆15Jun 30, 2025Updated 8 months ago
- Implementation of Neural Arithmetic Logic Units (https://arxiv.org/pdf/1808.00508.pdf)☆31Oct 24, 2018Updated 7 years ago
- ☆26Feb 15, 2023Updated 3 years ago
- Neural Network Enumeration Tool☆34Jan 8, 2026Updated last month
- ☆13Dec 28, 2018Updated 7 years ago
- MetaC provides a read-eval-print loop (a REPL) and notebook interactive development environment (a NIDE) for C programming. MetaC also …☆12Feb 16, 2026Updated 2 weeks ago
- Icarogw is a pure python package to estimate population properties of noisy observations in presence of selection biases. The code is mos…☆16Sep 10, 2025Updated 5 months ago
- ☆10Dec 9, 2022Updated 3 years ago
- ☆10Apr 5, 2024Updated last year
- ☆10Mar 24, 2025Updated 11 months ago
- Prior Sampling for high dimension data with domain knowledge.☆10Jan 11, 2022Updated 4 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- Sorted paper (by number of citations) list for CVPR from 2007 to 2017☆32Oct 29, 2017Updated 8 years ago
- Public code for a paper "Lipschitz-Margin Training: Scalable Certification of Perturbation Invariance for Deep Neural Networks."☆35Dec 18, 2018Updated 7 years ago
- Software Engineer's Bootcamp: Developing AI Applications☆12Jun 3, 2025Updated 9 months ago
- SciFin is a python package for Science & Finance.☆11Oct 25, 2020Updated 5 years ago
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- ☆10Jun 23, 2018Updated 7 years ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- An implement of U-net using MXNet gluon☆11Apr 3, 2018Updated 7 years ago
- College project about article http://www.cs.ust.hk/~quan/publications/yuan-deblur-siggraph07.pdf☆10Jan 25, 2013Updated 13 years ago
- Deep learning for gravitational potentials, based on well-mixed tracers in phase space.☆11Dec 29, 2025Updated 2 months ago
- A TensorFlow implementation of the paper: HyperFace: A Deep Multi-task Learning Framework for Face Detection, Landmark Localization, Pos…☆10Dec 20, 2018Updated 7 years ago
- ☆10May 16, 2023Updated 2 years ago
- A lightweight library for pre-processing images for pre-trained keras models☆14Aug 17, 2025Updated 6 months ago
- Library of Octave functions for continuous gravitational-wave data analysis☆12Feb 28, 2023Updated 3 years ago