On Lipschitz Regularization of Convolutional Layers using Toeplitz Matrix Theory
☆10Aug 19, 2021Updated 4 years ago
Alternatives and similar repositories for Upper-Bound-Lipschitz-Convolutional-Layers
Users that are interested in Upper-Bound-Lipschitz-Convolutional-Layers are comparing it to the libraries listed below
Sorting:
- Code for Spectral Norm of Convolutional Layers with Circular and Zero Paddings and Efficient Bound of Lipschitz Constant for Convolutiona…☆15Feb 2, 2024Updated 2 years ago
- ☆12Jul 2, 2024Updated last year
- Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…☆27Nov 23, 2019Updated 6 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A grasshopper plugin to create joints between timber panels and export CNC toolpath and robot trajectories for fully automated workflow f…☆12May 25, 2023Updated 2 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- Dimensionality reduction on manifold of SPD matrices, based on pymanopt implementation☆12Apr 18, 2023Updated 2 years ago
- Julia package for editing and displaying binary file data in hexadecimal format☆11Mar 14, 2023Updated 2 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- 更纯粹、更高压缩率的Tokenizer in Rust☆13Dec 21, 2024Updated last year
- ☆11Sep 6, 2024Updated last year
- A Rust crate enabling generalized Interval representations and operations☆12Nov 3, 2024Updated last year
- ☆11Feb 10, 2022Updated 4 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- ☆11Sep 1, 2020Updated 5 years ago
- sklearn implementation of gap-statistic☆10May 25, 2019Updated 6 years ago
- ☆11Mar 24, 2023Updated 2 years ago
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- Sound speed in water, water density, depth by pressure considering compressibility of water, etc, routines☆11Jan 24, 2026Updated last month
- Compression performance of BPG, JPEG, JPEG2000 and Webp.☆12May 15, 2019Updated 6 years ago
- ☆10Oct 27, 2023Updated 2 years ago
- Chess Engine written in Haskell☆15Jul 6, 2018Updated 7 years ago
- This is the implementation for IEEE S&P 2022 paper "Model Orthogonalization: Class Distance Hardening in Neural Networks for Better Secur…☆11Aug 24, 2022Updated 3 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- "Towards Scaling Difference Target Propagation by Learning Backprop Targets" (ICML 2022)☆12Jan 17, 2023Updated 3 years ago
- Don't just regulate gradients like in Muon, regulate the weights too☆31Jul 30, 2025Updated 7 months ago
- Official release of code for the paper RL is a hammer and LLMs are nails A simple RL approach to stronger prompt injection attacks☆40Feb 11, 2026Updated 3 weeks ago
- [NeurIPS 2023] and [ICLR 2024] for robustness certification.☆10Nov 30, 2024Updated last year
- ☆30Oct 21, 2025Updated 4 months ago
- Official code for FAccT'21 paper "Fairness Through Robustness: Investigating Robustness Disparity in Deep Learning" https://arxiv.org/abs…☆13Mar 9, 2021Updated 4 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated 2 weeks ago
- Reverse Engineering Imperceptible Backdoor Attacks on Deep Neural Networks for Detection and Training Set Cleansing☆14Feb 18, 2021Updated 5 years ago
- ☆12May 27, 2022Updated 3 years ago
- A fast and efficient way to compute a differentiable bound on the singular values of convolution layers☆12Nov 22, 2019Updated 6 years ago
- First-order automated theorem prover based on the tableau method☆18Jan 3, 2026Updated 2 months ago
- [USENIX Security 2025] SOFT: Selective Data Obfuscation for Protecting LLM Fine-tuning against Membership Inference Attacks☆20Sep 18, 2025Updated 5 months ago
- ☆13Jan 20, 2023Updated 3 years ago
- A webmsite for Cheems☆10May 21, 2025Updated 9 months ago