☆11Apr 21, 2023Updated 2 years ago
Alternatives and similar repositories for SABR
Users that are interested in SABR are comparing it to the libraries listed below
Sorting:
- Keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular da…☆19Jun 12, 2024Updated last year
- Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"☆17Jan 27, 2023Updated 3 years ago
- [ECCV 2024] Towards Reliable Evaluation and Fast Training of Robust Semantic Segmentation Models☆21Jul 17, 2024Updated last year
- Watermark Stealing in Large Language Models (ICML '24)☆31Jun 24, 2024Updated last year
- [NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"☆27Dec 10, 2023Updated 2 years ago
- [NeurIPS 2021] Fast Certified Robust Training with Short Warmup☆25Jun 7, 2025Updated 8 months ago
- Convex Layerwise Adversarial Training (COLT)☆29Jan 13, 2021Updated 5 years ago
- Implementation of the paper "Fair Clustering Through Fairlets" by Chierichetti et al. (NIPS 2017)☆11Nov 29, 2019Updated 6 years ago
- Investigating and Defending Shortcut Learning in Personalized Diffusion Models☆13Nov 19, 2024Updated last year
- SATZilla SAT feature extraction tool☆11Jan 15, 2026Updated last month
- A research workbench for developing and testing attacks against large language models, with a focus on prompt injection vulnerabilities a…☆39Updated this week
- A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]☆10Sep 3, 2019Updated 6 years ago
- DICE: Detecting In-distribution Data Contamination with LLM's Internal State☆11Sep 21, 2024Updated last year
- Attacks using out-of-distribution adversarial examples☆11Nov 19, 2019Updated 6 years ago
- Code for paper Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks☆12Aug 9, 2022Updated 3 years ago
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 5 years ago
- Fourth edition of VNN COMP (2023)☆16Apr 12, 2023Updated 2 years ago
- Notebooks for managing NeurIPS 2014 and analysing the NeurIPS experiment.☆13May 22, 2024Updated last year
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- SRI Group Website☆10Updated this week
- AI-powered pokemon bot on showdown☆13Oct 18, 2019Updated 6 years ago
- ☆11Sep 1, 2023Updated 2 years ago
- ☆11Oct 18, 2022Updated 3 years ago
- REINFORCE Adversarial Attacks on Large Language Models: An Adaptive, Distributional, and Semantic Objective☆22Feb 28, 2025Updated last year
- White-box Fairness Testing through Adversarial Sampling☆13Apr 16, 2021Updated 4 years ago
- A bash script that turns a version-controlled paper into a cool timelapse.☆13Mar 21, 2013Updated 12 years ago
- Official Code for Scaling Adversarial Training to Large Perturbation Bounds (ECCV-2022)☆11Nov 25, 2022Updated 3 years ago
- A Framework for Comparing N Hyperparameter Optimizers on M Benchmarks.☆19Feb 25, 2026Updated last week
- Creates a bridge between python 2.7 (needed for NaoQi) and python 3☆13Feb 15, 2020Updated 6 years ago
- Every Call is Precious: Global Optimization of Black-Box Functions with Unknown Lipschitz Constants☆16Nov 30, 2025Updated 3 months ago
- Ray with LSF. Users can start up a Ray cluster on LSF, and run DL workloads through that either in a batch or interactive mode.☆15May 14, 2024Updated last year
- Scalar feature extractor for AI planning problems and domains in PDDL format☆16Dec 14, 2020Updated 5 years ago
- MNIST, but with Bezier curves instead of pixels☆15Oct 29, 2021Updated 4 years ago
- The official repo for GCP-CROWN paper☆13Sep 26, 2022Updated 3 years ago
- ☆18Jul 20, 2023Updated 2 years ago
- Simplifies the process of slicing STLs using existing config profiles in the PrusaSlicer command line interface☆15May 12, 2020Updated 5 years ago
- Apertium linguistic data for Kyrgyz☆17Feb 8, 2026Updated 3 weeks ago
- ☆15Jan 6, 2022Updated 4 years ago
- ICML 2024 Paper "Adversarial Robustness Limits via Scaling-Law and Human-Alignment Studies"☆17Jul 10, 2024Updated last year