[ICML2026] The first comprehensive Lean 4 formalization of statistical learning theory, featuring Gaussian Lipschitz concentration and Dudley's entropy integral-establishes a reusable foundation for formalizing ML theory.
☆93Jul 3, 2026Updated this week
Alternatives and similar repositories for lean-stat-learning-theory
Users that are interested in lean-stat-learning-theory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆55Feb 23, 2026Updated 4 months ago
- Lean formalizations of IMO problem statements☆36Apr 23, 2026Updated 2 months ago
- Central limit theorem in Lean☆15May 6, 2026Updated 2 months ago
- ☆37Mar 7, 2025Updated last year
- Official repository Flash Local Linear Attention☆37May 28, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆12Feb 15, 2024Updated 2 years ago
- Low-level primitives for collapsed Gibbs sampling in python and C++☆16Mar 27, 2024Updated 2 years ago
- Martingale Posteriors with Copulas☆24Mar 19, 2024Updated 2 years ago
- Compressible Dynamics in Deep Overparameterized Low-Rank Learning & Adaptation (ICML'24 Oral)☆12Jul 22, 2024Updated last year
- Kernel density estimation based on vine copulas☆16Sep 4, 2025Updated 10 months ago
- Extension to multivariate unconstrained monotonic functions.☆12Feb 7, 2020Updated 6 years ago
- 具身智能入门自学☆36Apr 21, 2025Updated last year
- Demos for the paper Generalized Variational Inference (Knoblauch, Jewson & Damoulas, 2019)☆20Apr 4, 2019Updated 7 years ago
- Code for the paper on t-SNE with variable degree of freedom☆11Jun 27, 2019Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- FreeBSD native WiFi driver for BCM4350 (MBP 2016), BCM43455 (RPi4) — in progress☆50Apr 2, 2026Updated 3 months ago
- ☆37Aug 7, 2025Updated 10 months ago
- ☆61Dec 1, 2025Updated 7 months ago
- ICD-10 nternational Statistical Classification of Diseases and Related Health Problems - Ground Truth and some Experimental R Code for N…☆14May 14, 2018Updated 8 years ago
- Codes for ICLR 21 paper: Neural Approximate Sufficient Statistics for Implicit Models☆20Jun 23, 2022Updated 4 years ago
- source code for paper "Riemannian Preconditioned LoRA for Fine-Tuning Foundation Models"☆38Jun 20, 2024Updated 2 years ago
- FOC driver board based on Qfplib-m3 and STM32F103C8T6 with algorithm. Use torque, velocity and angle control. Several applications based …☆21Aug 10, 2023Updated 2 years ago
- Host a graph database such as OrientDB on IBM Container Service using Kubernetes APIs☆12Apr 22, 2019Updated 7 years ago
- ☆10Apr 24, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Undub project for Tecmo's Project Zero - the EU version (the first one) for the PS2☆14Jul 23, 2023Updated 2 years ago
- ☆17Jun 24, 2024Updated 2 years ago
- Multivariate adaptive shrinkage methods used for analysis GTEx data in Urbut et al (2017).☆12Sep 25, 2017Updated 8 years ago
- ☆26Apr 20, 2026Updated 2 months ago
- The code in this repository follows the paper "Stochastic gradient MCMC"☆27Jul 16, 2019Updated 6 years ago
- Code of the NVIDIA winning solution to the 2nd OGB-LSC at the NeurIPS 2022 challenge with dataset PCQM4Mv2☆17Nov 25, 2022Updated 3 years ago
- pipelines to process scRNA-seq data☆12Jan 11, 2021Updated 5 years ago
- ☆13Feb 27, 2024Updated 2 years ago
- Visual neuron simulator using the integrate-and-fire method.☆10Apr 13, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Get insights from OrientDB database using PyOrient through IBM Watson Studio☆13Apr 22, 2019Updated 7 years ago
- Manage Files Across Sessions☆14Apr 29, 2026Updated 2 months ago
- Analysis code and results for dreamlet☆11Apr 16, 2026Updated 2 months ago
- BrainSeq Phase II project lead by LIBD for the BrainSeq Consortium☆11Jan 7, 2024Updated 2 years ago
- ☆13Jun 6, 2024Updated 2 years ago
- Dimensionality-reduction and classification for morphology and electrophysiology☆12Sep 23, 2024Updated last year
- HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]☆14Jul 11, 2023Updated 2 years ago