Skip to content
#

learning-theory

Here are 48 public repositories matching this topic...

SMPyBandits

🔬 Research Framework for Single and Multi-Players 🎰 Multi-Arms Bandits (MAB) Algorithms, implementing all the state-of-the-art algorithms for single-player (UCB, KL-UCB, Thompson...) and multi-player (MusicalChair, MEGA, rhoRand, MCTop/RandTopM etc).. Available on PyPI: https://pypi.org/project/SMPyBandits/ and documentation on

  • Updated Apr 30, 2024
  • Jupyter Notebook

Lean4 kernel for synthetic formalization and discovery of statistical learning theory. First and complete formalization of the 5 way fundamental theorem. Typed premise + human-guided, AI-driven proof search across PAC, online, and Gold paradigms. The infrastructure forced by the types produced original mathematics.

  • Updated Apr 14, 2026
  • Lean

Improve this page

Add a description, image, and links to the 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 learning-theory topic, visit your repo's landing page and select "manage topics."

Learn more