Statistical Learning Theory in Lean 4: Empirical Processes from Scratch
Paper
•
2602.02285
•
Published
Yuanhe Zhang
liminho123
AI & ML interests
I am interested in formal mathematical reasoning and theory-grounded algorithm design for post-training of LLMs.
Recent Activity
submitted
a paper
1 day ago
Statistical Learning Theory in Lean 4: Empirical Processes from Scratch
authored
a paper
3 days ago
Statistical Learning Theory in Lean 4: Empirical Processes from Scratch
updated
a collection
4 days ago
Statistical Learning Theory in Lean 4
Organizations
None yet
submitted
a
paper
to Daily Papers
1 day ago
authored
a
paper
3 days ago
updated
a
collection
4 days ago
updated
a
dataset
4 days ago
published
a
dataset
4 days ago
updated
a
dataset
4 days ago
published
a
dataset
4 days ago
updated
a
collection
4 days ago
updated
a
dataset
4 days ago
published
a
dataset
4 days ago
updated
a
collection
4 days ago
liked
a
dataset
7 days ago
liked
a
dataset
about 2 months ago
liked
4
datasets
3 months ago
upvoted
an
article
3 months ago
Article
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
•
54
liked
a
model
3 months ago
