Code for paper Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks
☆12Aug 9, 2022Updated 3 years ago
Alternatives and similar repositories for AOL
Users that are interested in AOL are comparing it to the libraries listed below
Sorting:
- ☆10Oct 27, 2023Updated 2 years ago
- a High-Performance Distributed Solver for Large-Scale Markov Decision Processes (MDP) relying on Inexact Policy Iteration; for Python and…☆24Apr 7, 2025Updated 10 months ago
- Code for the ICML 2021 and ICLR 2022 papers: Skew Orthogonal Convolutions, Improved deterministic l2 robustness on CIFAR-10 and CIFAR-100☆18Feb 20, 2022Updated 4 years ago
- [NeurIPS 2025] Official code for "Tropical Attention: Neural Algorithmic Reasoning for Combinatorial Algorithms"☆23Oct 23, 2025Updated 4 months ago
- A single-line modification to any (dualizer-based) optimizer that allows the optimizer to adapt to the scale of the gradients as they cha…☆19Jan 11, 2025Updated last year
- 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
- [NeurIPS 2023] and [ICLR 2024] for robustness certification.☆10Nov 30, 2024Updated last year
- RISC-V-based many-core neuromorphic architecture☆15Aug 3, 2025Updated 7 months ago
- ☆12Jul 2, 2024Updated last year
- [ICCV 2023] Code for "Minimal Solutions to Generalized Three-View Relative Pose Problem" (oral presentation)☆14Jul 8, 2025Updated 7 months ago
- Github Repository for the HOI4 ULTRA Project.☆11Updated this week
- Fluent student-teacher redteaming☆23Jul 25, 2024Updated last year
- Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)…☆27Nov 23, 2019Updated 6 years ago
- Official implementation of "SCORE: Second Order Conic Initialization for RA-SLAM"☆32Jan 11, 2024Updated 2 years ago
- Build and train Lipschitz-constrained networks: PyTorch implementation of 1-Lipschitz layers. For TensorFlow/Keras implementation, see ht…☆39Feb 2, 2026Updated last month
- Tools for visualizing and comparing data from vertebrate retinas☆14Jan 20, 2025Updated last year
- Executable version of Functional Differential Geometry.☆37May 4, 2022Updated 3 years ago
- Numerical assessments of a nonintrusive surrogate model based on recurrent neural networks and proper orthogonal decomposition: Rayleigh …☆10Dec 2, 2022Updated 3 years ago
- MATLAB code for Stein Point Markov Chain Monte Carlo.☆13Jul 3, 2019Updated 6 years ago
- Navier-Stokes implementation for Processing based on Jos Stam work☆13Feb 1, 2019Updated 7 years ago
- Paper: inexact GMRES with fast multipole method and low-p relaxation☆11Aug 23, 2023Updated 2 years ago
- ☆43May 3, 2024Updated last year
- Nehe Tutorials in Clojure using Penumbra☆29Sep 21, 2010Updated 15 years ago
- ☆32Jul 27, 2025Updated 7 months ago
- Detect wildfires using ML on images from cameras on vantage points☆11Oct 16, 2024Updated last year
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- Learning the optimal transport map via input convex neural neworks☆42Jun 26, 2020Updated 5 years ago
- Implicit Differentiable Optimal Control (IDOC) with JAX☆12May 11, 2022Updated 3 years ago
- https://openreview.net/pdf?id=V5XDYSRcQP☆14May 22, 2025Updated 9 months ago
- CMSIS-DAP debug probe based on STM32F042☆10May 19, 2019Updated 6 years ago
- Synergy 1.4.12 cracking tool.☆17Mar 1, 2016Updated 10 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Random Plotter scripts for HP7440A☆14May 23, 2019Updated 6 years ago
- Research codes for image interestingness☆17Dec 6, 2017Updated 8 years ago
- Haskell Protocol Buffers☆12Jan 22, 2020Updated 6 years ago
- Monocerus emulator framework☆11Mar 28, 2019Updated 6 years ago
- A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]☆10Sep 3, 2019Updated 6 years ago
- Applications of the Teg differentiable programming language to problems spanning graphics and physical simulation.☆12Dec 30, 2021Updated 4 years ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year