PulseAugur
EN
LIVE 11:11:21
ENTITY Yuanhe Zhang

Yuanhe Zhang

PulseAugur coverage of Yuanhe Zhang — every cluster mentioning Yuanhe Zhang across labs, papers, and developer communities, ranked by signal.

Show in brief
Total · 30d
1
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL
  1. TOOL · CL_84936 ·

    Formal statistical learning theory formalized in Lean 4 with AI aid

    Researchers have developed a formalization of statistical learning theory using Lean 4, a proof assistant, to establish a rigorous foundation for machine learning theory. This project involved a human-AI collaboration w…