Lex Blog

RSS: https://dreams.plus/rss.xml
暂无简介

迪利克雷分布与证据深度学习

RSS 阅读器可能不支持渲染数学公式。 点击这里阅读原文: 设 为输入空间, 为类别标签。一个 分类器的输出在数学上究竟是什么?若要求它给出「属于各类别的概率」,则输出必须落在 之中—— 概率单纯形 上的一个点。这是分类器输出的自然状态空间:它不是,而是一个 维的紧凸集。 一旦承认了这一点,一个二阶问题便随即出现:分类器对自身输出的 把握 有多大?若把输出建模为单纯形上的一个 确定点,则这个问题在...
评论点赞收藏13 天前

Markdown 并不适合科学写作

RSS 阅读器可能不支持渲染数学公式。 点击这里阅读原文: 写博客了很长一段时间了,但是个人觉得,Markdown 并不适合科学写作。读研究生期间,搞搞科研,有时候会阶段性地总结一下自己的研究 idea,或者梳理自己的知识,就需要系统性地写作总结。这部分我经常写在自己的博客里,就比如之前所发表的博客内容。 我这个博客网站是基于 Markdown + Unified.js + Nuxt Conten...
评论点赞收藏21 天前

因果结构模型简论

RSS 阅读器可能不支持渲染数学公式。 点击这里阅读原文: 为什么概率论不足以回答因果问题?设 为两个随机变量,概率论所能给出的全部工具是联合分布 、条件分布,以及由此导出的独立性关系。这套语言在数学上是自洽的,但存在一个根本性的表达力缺陷: 概率分布对「对称性」是不敏感的。若已知,则 与 皆可通过贝叶斯定理相互推出,二者在信息量上完全等价,谁也不比谁更「根本」。然而在实际世界中,「气压下降导致下...
评论点赞收藏23 天前

冯·诺依曼小传

RSS 阅读器可能不支持渲染数学公式。 点击这里阅读原文: 布达佩斯 匈牙利,1903 年 12 月 28 日,布达佩斯的一户殷实人家添了第一个男孩。父亲马克斯·诺依曼是位银行家,母亲玛吉特·肯恩出身富商之家。家里人叫他「扬奇」——匈牙利名字扬诺什的昵称。他还有两个弟弟,米哈伊和米克洛什。 扬奇从小就不太寻常——别的小孩还在学数数,他已经能用古希腊语跟父亲互相打趣了。他后来懂六种以上语言:匈牙利语...
评论点赞收藏42 天前

高维非凸优化的「鞍点主导」

RSS 阅读器可能不支持渲染数学公式。 点击这里阅读原文: 深度学习中,Roon 说过一句话,被很多人当作信条:最大的 whitepill 是:局部极小值在高维空间中很罕见。也就是说,你的模型很难卡在局部最优里。但它到底有没有道理?如果有道理,道理又在哪里? 这句观点并非对每个光滑函数都字面成立。比如凸函数可能只有一个全局极小值,压根没有鞍点。它的精确版本需要一个「景观的概率模型」,以及退化与非退...
评论点赞收藏53 天前

研究关系的三种视角

RSS 阅读器可能不支持渲染数学公式。 点击这里阅读原文: 哲学里有一种命题:「存在即关系」,在数理研究中同样也有很深的体现。听起来很抽象,但它其实是对世界本质是什么的一种深刻回答。理解事物不是先存在、再去建立关系,而是事物在建立关系的过程中,才得以成为事物。它最著名的提出者是 20 世纪法国哲学家怀特海(过程哲学),但其思想渊源可以追溯到德国哲学家莱布尼茨(单子论)和古希腊的赫拉克利特(万物流动...
评论点赞收藏56 天前

祛魅科研,每个研究生的必修课

RSS 阅读器可能不支持渲染数学公式。 点击这里阅读原文: 从 2025 年开始入学读研,到现在已经有一个年头了,不知不觉已经研二了。在过去的一年的研究生学习中,我发现我的心态、世界观经历了一次完整的、打击性的重塑。如果说之前我的心态是中规中矩,那么现在则是满心失落。自从经历过完整的科研训练,调研课题、找 idea,做实验、处理数据、撰写论文、修改文章、等投稿、写 Rebuttal、拒稿再转投、论...
评论点赞收藏61 天前

写作语言的转变

RSS 阅读器可能不支持渲染数学公式。 点击这里阅读原文: 长期以来,我对自己的博客定位从来不是分享,而更多是给自己看的「笔记」。很多情况是:记录一个刚刚搞懂的东西 → 写下来 → 以后自己查 → 写完就结束。我的博客基本都很短,基本三分钟以内就能读完。大约在 2023 年开始,同时为了学习英语,锻炼技术写作能力,我在疯狂背单词的同时,也可以保持用英语进行技术写作。现在坚持了快两年。所以长期以来,...
评论点赞收藏62 天前

大语言模型中的表征流形

RSS 阅读器可能不支持渲染数学公式。 点击这里阅读原文: 如果你关注了过去两年机制可解释性研究的进展,很可能见过这样一类图:把大语言模型某一层神经元的激活向量投影到二维或三维空间并作图,会发现「月份」「星期几」「年份」「颜色」等概念的表示并不是杂乱无章地散布在空间中,而是沿着一条优美的曲线排列——有时甚至是闭合的圆圈或环面。Chris Olah、Anthropic 的 Josh Batson 以...
评论点赞收藏71 天前

对角线论证:改变数学与计算机的证明方法

RSS 阅读器可能不支持渲染数学公式。 点击这里阅读原文: 1891 年,德国数学家格奥尔格·康托尔发表了一篇仅几页的论文,证明了一个在当时看来有悖直觉的结论:存在不同「大小」的无穷。他所采用的证明技巧——对角线论证——不仅解决了手头的问题,更在此后一个多世纪里,成为数理逻辑、可计算性理论乃至哲学武器库中最强大的武器之一。 从「实数比自然数多」,到图灵证明「停机问题不可判定」,再到哥德尔证明「任何...
评论点赞收藏75 天前

登录芦苇

登录后关注作者、收藏内容和参与讨论。