MILES-PSL / Upper-Bound-Lipschitz-Convolutional-LayersView external linksLinks
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
- 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
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆11Sep 6, 2024Updated last year
- 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
- ☆11Feb 10, 2022Updated 4 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- ☆11Oct 27, 2023Updated 2 years ago
- 更纯粹、更高压缩率的Tokenizer in Rust☆13Dec 21, 2024Updated last year
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- ☆11Sep 1, 2020Updated 5 years ago
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last week
- A Rust crate enabling generalized Interval representations and operations☆12Nov 3, 2024Updated last year
- sklearn implementation of gap-statistic☆10May 25, 2019Updated 6 years ago
- Sound speed in water, water density, depth by pressure considering compressibility of water, etc, routines☆11Jan 24, 2026Updated 2 weeks ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- Compression performance of BPG, JPEG, JPEG2000 and Webp.☆12May 15, 2019Updated 6 years ago
- ☆11Mar 24, 2023Updated 2 years ago
- ☆12May 27, 2022Updated 3 years ago
- Reverse Engineering Imperceptible Backdoor Attacks on Deep Neural Networks for Detection and Training Set Cleansing☆14Feb 18, 2021Updated 4 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- [NeurIPS 2023] and [ICLR 2024] for robustness certification.☆10Nov 30, 2024Updated last year
- "Towards Scaling Difference Target Propagation by Learning Backprop Targets" (ICML 2022)☆12Jan 17, 2023Updated 3 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 1, 2026Updated last week
- Don't just regulate gradients like in Muon, regulate the weights too☆31Jul 30, 2025Updated 6 months 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
- 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
- [USENIX Security 2025] SOFT: Selective Data Obfuscation for Protecting LLM Fine-tuning against Membership Inference Attacks☆19Sep 18, 2025Updated 4 months ago
- A webmsite for Cheems☆10May 21, 2025Updated 8 months ago
- ☆15Apr 12, 2023Updated 2 years ago
- Logistics Regression and Support Vector Machine using PyTorch☆12Feb 11, 2019Updated 7 years ago
- Drawing mathematical formulas on TCanvas☆10Nov 19, 2025Updated 2 months ago
- A ES6-based flexible Server Side Events source for Typescript. The library provides support for POST and GET requests to a SSE endpoint.☆11Mar 13, 2024Updated last year
- Implementation of Compressed SGD with Compressed Gradients in Pytorch☆13Jul 25, 2024Updated last year