ResearchHub Endowment
Earn daily Funding Credits to fund science
Paper
Paper
Search
Log in
Sign up
Sign up
Publish
Home
My Funding
Peer Review
Journal
Endowment
Help & resources
AI4SLT: Empirical Processes in Lean 4 for Formal Statisti... | ResearchHub
ResearchHub Endowment
Earn daily Funding Credits to fund science
Paper
Paper
Search
Log in
Sign up
Sign up
Publish
Home
My Funding
Peer Review
Journal
Endowment
Help & resources
AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory
By
Yuanhe Zhang
2 more
Yuanhe Zhang
·
Jason D. Lee
·
Fanghui Liu
June 10, 2026
41
Paper
Reviews
0
Conversation
0
Bounties
0
Loading PDF viewer…
Preprint Server
Topics
#computer-science
DOI
10.48550/arXiv.2602.02285
License
CC-BY
Other Formats
PDF
