[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.
☆82May 3, 2026Updated 3 weeks ago
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.☆54Feb 23, 2026Updated 3 months ago
- Central limit theorem in Lean☆16May 6, 2026Updated 2 weeks ago
- ☆36Mar 7, 2025Updated last year
- Official repository Flash Local Linear Attention☆23Apr 23, 2026Updated last month
- implementations sde-net☆14Dec 8, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。☆19Mar 19, 2026Updated 2 months ago
- This repository is the implementation of Deep Dirichlet Process Mixture Models (UAI 2022)☆15May 19, 2022Updated 4 years ago
- AAAI2025☆13Apr 18, 2025Updated last year
- ☆12Feb 15, 2024Updated 2 years ago
- Forecasting Macroeconomic Parameters with Deep Learning Neural Networks - Final Year Peoject☆13Jun 11, 2018Updated 7 years ago
- 具身智能入门自学☆33Apr 21, 2025Updated last year
- This is the official repository for the ICLR 2025 Conference Paper - Fast and Slow Streams for Online Time Series Forecasting without Inf…☆18Apr 30, 2025Updated last year
- Kernel density estimation based on vine copulas☆16Sep 4, 2025Updated 8 months ago
- Code for the NeurIPS 2020 paper "Improved analysis of clippind algorithms for non-convex optimization", including various clipping algori…☆10Feb 17, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Extension to multivariate unconstrained monotonic functions.☆12Feb 7, 2020Updated 6 years ago
- The official implementation of "Test-time Adaptation for Regression by Subspace Alignment" (ICLR 2025).☆16Jun 6, 2025Updated 11 months ago
- Xmixers: A collection of SOTA efficient token/channel mixers☆28Sep 4, 2025Updated 8 months ago
- ☆12Aug 31, 2022Updated 3 years ago
- FLOPS counter for all your GPU benchmarking needs☆13Aug 8, 2024Updated last year
- The public website for AllenNLP.☆10Feb 3, 2022Updated 4 years ago
- A latest curated list of resources on implicit neural representations.☆16Apr 18, 2025Updated last year
- Code for the paper on t-SNE with variable degree of freedom☆11Jun 27, 2019Updated 6 years ago
- Repo to share open work on the COVID-19 outbreak☆15Sep 10, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Learn Japanese using music. Frontend written in Nuxt.js and optional backend using Litserve☆20Jun 2, 2025Updated 11 months ago
- FreeBSD native WiFi driver for BCM4350 (MBP 2016), BCM43455 (RPi4) — in progress☆46Apr 2, 2026Updated last month
- Functions for handling RNA-seq files and formats as input and output for scrattch functions.☆11Aug 20, 2025Updated 9 months ago
- ☆37Aug 7, 2025Updated 9 months ago
- US equity (portfolio) characteristics, the main file is in SAS.☆20Dec 21, 2023Updated 2 years ago
- ☆61Dec 1, 2025Updated 5 months ago
- Repository for GeoUni, A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions.☆23Jun 12, 2025Updated 11 months ago
- Codes for ICLR 21 paper: Neural Approximate Sufficient Statistics for Implicit Models☆20Jun 23, 2022Updated 3 years ago
- ☆23Jul 1, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆19Jan 19, 2020Updated 6 years ago
- source code for paper "Riemannian Preconditioned LoRA for Fine-Tuning Foundation Models"☆37Jun 20, 2024Updated last year
- 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
- An interpretable network to compute the Shapley values in a single forward propagation.☆16May 24, 2023Updated 3 years ago
- Undub project for Tecmo's Project Zero - the EU version (the first one) for the PS2☆14Jul 23, 2023Updated 2 years ago
- Fund your open source dependencies☆12Oct 28, 2022Updated 3 years ago
- 使用HMM、N-Gram、BiLSTM、Bert等模型对中文语料分词并比较结果☆16Jul 2, 2022Updated 3 years ago