实体
Xinyu Liu
Xinyu Liu
PulseAugur coverage of Xinyu Liu — every cluster mentioning Xinyu Liu across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新研究解决高斯混合模型选择与估计问题
两篇新研究论文探讨了高斯混合模型（GMM）参数选择和估计的先进方法。第一篇论文侧重于一维GMM，建立了模型阶数估计的最佳采样复杂度，并提出了一种高效的基于傅里叶的算法。第二篇论文将其扩展到具有共同协方差矩阵的多维GMM，引入了谱阈值估计器，并展示了与期望最大化算法相比具有竞争力的准确性。
-
AI流水线自动化发现缺失的数学引理
研究人员开发了MathlibLemma，这是一个由LLM驱动的流水线，旨在自动发现、形式化和证明形式数学库（如Lean）中缺失的民间引理。该系统已生成超过1,500个已验证的Lean证明，其中一部分已集成到Mathlib中，证明了其满足专家标准的潜力。此外，还创建了一个包含4,028个类型检查的Lean语句的基准套件，用于评估AI在扩展形式数学知识方面的作用。