statistical-learning-theory

Here are 3 public repositories matching this topic...

YuanheZ / lean-stat-learning-theory

[ICML2026] The first, fully verified, sorry-free, large-scale Lean 4 library for statistical learning theory, covering infrastructures for mordern statistics and learning theory.

formalization formal-mathematics machine-learning-theory learning-theory lean4 high-dimensional-statistics high-dimensional-probability autoformalization statistical-learning-theory icml2026

Updated Jul 15, 2026
Lean

anish-lakkapragada / vc-rademacher-test

Star

Testing VC dimension & Rademacher complexity generalization error bounds for a simple perceptron and a rectangular classifier.

rademacher-complexity vc-dimension statistical-learning-theory

Updated Aug 4, 2025
Python

fabrizio-de-palma / Finite-Budget-Structural-Identifiability-under-Bounded-Observation

Star

This repository contains the paper and artifact for: "Finite-Budget Structural Identifiability under Bounded Observation" The official archived version of the paper is available on Zenodo: https://doi.org/10.5281/zenodo.18736348

identifiability statistical-learning-theory theoretical-machine-learning

Updated Mar 4, 2026

Improve this page

Add a description, image, and links to the statistical-learning-theory topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the statistical-learning-theory topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly