YuanheZ / lean-stat-learning-theoryView external linksLinks
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.
☆30Updated this week
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☆15Dec 27, 2025Updated last month
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆41Sep 22, 2025Updated 4 months ago
- the datasets of our paper☆11Feb 26, 2024Updated last year
- Official repository for the paper Local Linear Attention: An Optimal Interpolation of Linear and Softmax Attention For Test-Time Regressi…☆23Oct 1, 2025Updated 4 months ago
- A Neural Two-Stage Approach for Recognizing Discontiguous Entities (EMNLP 2019)☆11Aug 27, 2019Updated 6 years ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆32Updated this week
- HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]☆14Jul 11, 2023Updated 2 years ago
- Cross-domain data integration for named entity disambiguation in biomedical text☆11Dec 15, 2021Updated 4 years ago
- ☆10Feb 6, 2025Updated last year
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- ☆12Feb 15, 2024Updated last year
- ☆23Feb 3, 2026Updated last week
- implementations sde-net☆14Dec 8, 2020Updated 5 years ago
- ☆10Jun 16, 2021Updated 4 years ago
- ☆18Apr 5, 2025Updated 10 months ago
- Efficient Symptom Inquiring and Diagnosis via Adaptive Alignment of Reinforcement Learning and Classification [AI in Medicine Journal]☆12May 20, 2022Updated 3 years ago
- ☆20Dec 3, 2025Updated 2 months ago
- ☆12Jun 23, 2023Updated 2 years ago
- ☆55Dec 1, 2025Updated 2 months ago
- Debate interface, experiments, etc.☆10Mar 12, 2024Updated last year
- 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
- Examples using MetaProgramming for writing tactics etc.☆20Nov 26, 2025Updated 2 months ago
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆23Aug 19, 2025Updated 5 months ago
- The official implemention of "Depth-Breadth Synergy in RLVR: Unlocking LLM Reasoning Gains with Adaptive Exploration"☆23Feb 4, 2026Updated last week
- Code for the AAAI 2020 oral paper - Dynamic Embedding on Textual Networks via a Gaussian Process.☆12Mar 26, 2020Updated 5 years ago
- FLOPS counter for all your GPU benchmarking needs☆13Aug 8, 2024Updated last year
- Lean formalizations of IMO problem statements☆30Oct 23, 2025Updated 3 months ago
- ☆12Aug 31, 2022Updated 3 years ago
- A Lean 4 package for heavy numerical computations☆19Jan 16, 2022Updated 4 years ago
- Trials of pre-trained BERT models for the medical domain in Japanese.☆12Nov 21, 2020Updated 5 years ago
- training BART from scratch☆12Dec 31, 2021Updated 4 years ago
- ☆17May 31, 2023Updated 2 years ago
- Biomedical Entity Linking Benchmark☆13Dec 10, 2024Updated last year
- ☆12Dec 8, 2020Updated 5 years ago
- ☆14Aug 15, 2024Updated last year
- ☆14Oct 11, 2023Updated 2 years ago
- Python wrapper for lean-gym☆12Apr 5, 2023Updated 2 years ago
- Repository for the code to the paper "Question-Driven Summarization of Answers to Consumer Health Questions"☆14Nov 9, 2020Updated 5 years ago
- The code of CIKM 2023 (Oral Presentation) : A Multi-Task Semantic Decomposition Framework with Task-specific Pre-training for Few-Shot NE…☆14Jul 19, 2024Updated last year