实体 Yuanhe Zhang

Yuanhe Zhang

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

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_84936 · Jun 11 · 04:00

AI辅助下，Lean 4 中形式化统计学习理论

研究人员使用 Lean 4（一个证明助手）开发了统计学习理论的形式化，为机器学习理论建立严谨的基础。该项目涉及人机协作，AI 代理协助构建了高斯 Lipschitz 集中和 Dudley 熵积分定理等概念的证明。形式化过程还有助于识别和解决现有统计学习理论教科书中的歧义，为未来的研究创建了一个可重用的工具箱。