Zero-sorry Lean 4 library: finite-sample SLT bounds, sharp McDiarmid, PAC-Bayes Bernstein margin shell, and Dudley chaining. Standard Lean/Mathlib axioms only.
-
Updated
Jun 5, 2026 - Lean
Zero-sorry Lean 4 library: finite-sample SLT bounds, sharp McDiarmid, PAC-Bayes Bernstein margin shell, and Dudley chaining. Standard Lean/Mathlib axioms only.
Implementation of PDFAs and PDFA learning algorithm.
Learning Reliable Rules under Class Imbalance (SDM 2021)
Machine Learning for Data 3141 Reichman University Spring 2022 - 6 Homework Projects
My solutions to the assignments in Introduction to Machine Learning course at Tel Aviv University (course number: 0368-3235)
🔨 A prototype tool on learning DOTAs by testing.
Machine Learning and Analysis of Big Data course, Computer Science M.Sc., Ben Gurion University of the Negev, 2020
Add a description, image, and links to the pac-learning topic page so that developers can more easily learn about it.
To associate your repository with the pac-learning topic, visit your repo's landing page and select "manage topics."