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.
☆50Feb 9, 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
Sorting:
- Central limit theorem in Lean☆15Updated this week
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆42Feb 23, 2026Updated last week
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 7 months ago
- the datasets of our paper☆11Feb 26, 2024Updated 2 years ago
- Machine learning for molecules workshop 2022☆13Nov 30, 2022Updated 3 years ago
- simplify the prediction process for a finetuned bert model☆11Jun 19, 2019Updated 6 years ago
- ☆29Updated this week
- Patent Classification with Machine Learning☆16Sep 25, 2019Updated 6 years ago
- A Neural Two-Stage Approach for Recognizing Discontiguous Entities (EMNLP 2019)☆11Aug 27, 2019Updated 6 years ago
- Solving Competition Geometry Problems in Lean☆30Aug 26, 2025Updated 6 months ago
- HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]☆14Jul 11, 2023Updated 2 years ago
- Classify international patents into one of eight categories based on the text of their titles & abstracts using DistilBert & ONNX Runtime☆10Jul 21, 2022Updated 3 years ago
- ☆12Feb 15, 2024Updated 2 years ago
- ☆20Dec 3, 2025Updated 3 months ago
- ☆18Apr 5, 2025Updated 11 months ago
- ☆23Feb 3, 2026Updated last month
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- implementations sde-net☆14Dec 8, 2020Updated 5 years ago
- ☆12Jun 23, 2023Updated 2 years ago
- ☆10Jun 16, 2021Updated 4 years ago
- Cross-domain data integration for named entity disambiguation in biomedical text☆11Dec 15, 2021Updated 4 years ago
- ☆10Feb 6, 2025Updated last year
- Efficient Symptom Inquiring and Diagnosis via Adaptive Alignment of Reinforcement Learning and Classification [AI in Medicine Journal]☆12May 20, 2022Updated 3 years ago
- 爬取谷歌专利☆11Aug 23, 2019Updated 6 years ago
- ☆57Dec 1, 2025Updated 3 months ago
- Econ5150@CUHK☆21Feb 26, 2026Updated last week
- Examples using MetaProgramming for writing tactics etc.☆20Nov 26, 2025Updated 3 months ago
- Forecasting Macroeconomic Parameters with Deep Learning Neural Networks - Final Year Peoject☆13Jun 11, 2018Updated 7 years ago
- The official implemention of "Depth-Breadth Synergy in RLVR: Unlocking LLM Reasoning Gains with Adaptive Exploration"☆24Feb 4, 2026Updated last month
- Trials of pre-trained BERT models for the medical domain in Japanese.☆12Nov 21, 2020Updated 5 years ago
- ☆12Aug 31, 2022Updated 3 years ago
- Code for the AAAI 2020 oral paper - Dynamic Embedding on Textual Networks via a Gaussian Process.☆12Mar 26, 2020Updated 5 years ago
- ☆13Mar 27, 2024Updated last year
- Debate interface, experiments, etc.☆10Mar 12, 2024Updated last year
- Lean formalizations of IMO problem statements☆31Oct 23, 2025Updated 4 months ago
- training BART from scratch☆12Dec 31, 2021Updated 4 years ago
- Official code and dataset for our NAACL 2024 paper: DialogCC: An Automated Pipeline for Creating High-Quality Multi-modal Dialogue Datase…☆13Jun 24, 2024Updated last year
- Repository for the code to the paper "Question-Driven Summarization of Answers to Consumer Health Questions"☆14Nov 9, 2020Updated 5 years ago
- ☆12Dec 8, 2020Updated 5 years ago