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.
☆62Mar 5, 2026Updated last month
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:
- Lean formalizations of IMO problem statements☆32Oct 23, 2025Updated 5 months ago
- Central limit theorem in Lean☆16Mar 4, 2026Updated last month
- Any-Order GPT as Masked Diffusion Model: Decoupling Formulation and Architecture. Training an MDM using GPT with this repo!☆35Jun 23, 2025Updated 9 months ago
- Official repository for the paper Local Linear Attention: An Optimal Interpolation of Linear and Softmax Attention For Test-Time Regressi…☆23Oct 1, 2025Updated 6 months ago
- AAAI2025☆12Apr 18, 2025Updated 11 months 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.
- ☆36Aug 19, 2024Updated last year
- Pricing and Analysis of Financial Derivative by Credit Suisse using Monte Carlo, Geometric Brownian Motion, Heston Model, CIR model, est…☆31Aug 12, 2024Updated last year
- Professor and Group List of CS☆10Mar 12, 2024Updated 2 years ago
- Low-level primitives for collapsed Gibbs sampling in python and C++☆16Mar 27, 2024Updated 2 years ago
- In which I learn about score functions and how they can be used to generate data.☆16Apr 5, 2024Updated 2 years ago
- Kernel density estimation based on vine copulas☆16Sep 4, 2025Updated 7 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
- 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 10 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Demos for the paper Generalized Variational Inference (Knoblauch, Jewson & Damoulas, 2019)☆20Apr 4, 2019Updated 7 years ago
- ☆12Aug 31, 2022Updated 3 years ago
- The public website for AllenNLP.☆10Feb 3, 2022Updated 4 years ago
- A latest curated list of resources on implicit neural representations.☆16Apr 18, 2025Updated 11 months ago
- Code for the paper on t-SNE with variable degree of freedom☆11Jun 27, 2019Updated 6 years ago
- Repo for paper "Rethinking Generalization in Reasoning SFT: A Conditional Analysis on Optimization, Data, and Model Capability"☆76Updated this week
- Learn Japanese using music. Frontend written in Nuxt.js and optional backend using Litserve☆20Jun 2, 2025Updated 10 months ago
- FreeBSD native WiFi driver for BCM4350 (MBP 2016), BCM43455 (RPi4) — in progress☆44Apr 2, 2026Updated 2 weeks ago
- Functions for handling RNA-seq files and formats as input and output for scrattch functions.☆11Aug 20, 2025Updated 7 months 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.
- ☆38Aug 7, 2025Updated 8 months ago
- Repository for GeoUni, A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions.☆21Jun 12, 2025Updated 10 months ago
- ☆60Dec 1, 2025Updated 4 months ago
- Codes for ICLR 21 paper: Neural Approximate Sufficient Statistics for Implicit Models☆20Jun 23, 2022Updated 3 years ago
- source code for paper "Riemannian Preconditioned LoRA for Fine-Tuning Foundation Models"☆35Jun 20, 2024Updated last year
- Manage Files Across Sessions☆13Oct 30, 2025Updated 5 months ago
- ☆10Apr 24, 2022Updated 3 years ago
- Fund your open source dependencies☆12Oct 28, 2022Updated 3 years ago
- 使用HMM、N-Gram、BiLSTM、Bert等模型对中文语料分词并比较结果☆16Jul 2, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆12Jul 13, 2018Updated 7 years ago
- Multivariate adaptive shrinkage methods used for analysis GTEx data in Urbut et al (2017).☆12Sep 25, 2017Updated 8 years ago
- ☆23Jun 4, 2025Updated 10 months ago
- The code and analyses accompanying the manuscript “MetaMap: An atlas of metatranscriptomic reads in human disease-related RNA-seq data”.☆12Nov 28, 2018Updated 7 years ago
- The code in this repository follows the paper "Stochastic gradient MCMC"☆27Jul 16, 2019Updated 6 years ago
- ☆11Oct 23, 2025Updated 5 months ago
- pipelines to process scRNA-seq data☆12Jan 11, 2021Updated 5 years ago