Stanford Hazy Research

97 篇内容

工程实践Stanford Hazy Research

Retire the Abstractions

本文以编写 CUDA megakernel 的经验为起点,提出 AI 编程智能体正在取代传统软件抽象层的认知卸载功能。作者回顾了去年依靠 C++ 抽象管理复杂性的痛苦,以及今年借助 agent 直接将不完整的提示转为优化代码的实践,由此预言 CUDA DSL 等抽象层即将退役。文章进一步讨论代码库角色的迁移:精确的代码库变得脆弱,而模糊但可传递的意图提示更适应智能执行器;信任将更多放在规约、测试和不变量等 oracle 上,而非实现细节。同时,作者也指出抽象层作为共享验证面、知识传递手段仍具价值,且专家经验在此转型中不可或缺。全文核心观点是抽象会退役,但领域知识永存。

推荐收录,因为本文不是泛泛而谈的未来预测,而是基于真实 megakernel 工程演进提出的具体论证,提供了从认知外包到代码生命周期重估的完整视角。适合关注 AI 辅助系统编程、DSL 设计与软件工程演化的研究者与工程师,可迁移的思考在于如何重新权衡代码、测试与意图描述在智能工具介入后的角色。

科研思考Stanford Hazy Research

Retire the Abstractions

文章深入探讨了AI代理(agents)对传统软件抽象层的冲击。作者以自身经历对比:去年编写megakernel需要构建C++抽象层来管理复杂度,今年借助代理可直接从模糊提示生成目标优化代码,消解了对抽象层的依赖。由此提出CUDA DSL等抽象层正走向退休的观点,认为当智能执行器能填补意图中的缺口时,精密但脆弱的代码库可能不再是唯一的知识载体。同时指出抽象层不仅是认知卸载工具,也是共享接口和测试复用的基础,消除后会带来验证挑战。文章最终强调,虽然抽象可能过时,但领域知识、不变量和测试等核心思想将保留,知识传递的方式则从代码转向提示和神谕。全文适用于对AI辅助编程、编译器设计和软件演化感兴趣的读者,但结论基于作者深厚的领域经验,对初学者和不明确神谕的领域可能不直接适用。

收录理由:文章提出了一个前沿且深刻的工程哲学命题,将AI代理与编译器抽象、代码库价值等经典概念结合,提供了可迁移的思考框架。适合关注AI如何影响系统软件开发、编程语言设计和工程实践的读者,对重新评估抽象层和代码资产具有启发性。

科研议题Stanford Hazy Research

🧠 MLPs are Hebbian Memories: A Simple Recipe for Fact-Storing Transformers

本文提出将Transformer中的MLP层视为Hebbian记忆的全新视角,据此设计了一种无需梯度下降的闭式MLP构建方法,用于高效存储事实(键值对)。该构建通过在高斯随机投影后的特征空间中计算外积和,使MLP以信息论最优的Θ(F log F)参数量存储F条事实。理论分析证明了该构建在独立MLP及Transformer Block中面对attention噪声时的容量保障,并可实现无需重训练的事实编辑。研究为理解LLM中的知识存储机制、可解释性及模型编辑提供了坚实的理论基础,主要局限在于目前侧重于理论构建与仿真验证,尚未在大型预训练模型上充分验证。

文章以简洁的数学框架揭示了MLP与Hebbian记忆的等价性,并给出了可证明的信息论最优存储构造,直接回应了LLM事实存储效率这一重要研究问题。适合关注模型解释性、知识编辑或高效微调的研究者与工程师,其构建思路可能启发新的无训练记忆增强或参数高效适配方法。

科研议题Stanford Hazy Research

From Minions to OpenJarvis: A Retrospective on Two Years in Local AI

这篇文章是 Stanford Hazy Research 对两年本地 AI 研究路线的回顾,串联了 Minions、Intelligence per Watt 和 OpenJarvis 三个项目,核心论点是“混合式推理应以云端做搜索/规划、本地做执行为默认范式”。文章分别从长上下文任务协作、单位能耗智能密度测量、以及本地优先的个人 AI 技术栈三个层面,给出了实验结果、系统设计和发布内容,并用统一的效率视角解释为什么本地与云端不是替代关系而是互补关系。

推荐收录,因为它不是单一产品介绍,而是把三个相互关联的研究项目串成了一条清晰的方法论主线,并且给出了可量化的实验结果与系统化设计。对关注本地推理、混合部署、能效评估和个人 AI 架构的读者,这篇文章有很强的迁移价值。

工程实践Stanford Hazy Research

ThunderKittens 2.0: Even Faster Kernels for Your GPUs

这篇文章发布了 ThunderKittens 2.0,一个面向 GPU 的 CUDA 内嵌 DSL,并顺带给出一篇面向 Blackwell 的内核优化复盘。新版增加了 MXFP8/NVFP4 支持、调度与 tensor memory 控制能力、简化的构建结构,并把多个示例内核升级到更现代的 API。技术部分重点解释了为何原先放在 GEMM 路径中的两类 fence 实际上并非必需,作者通过 PTX 的因果顺序与 proxy 规则证明共享内存和 tensor memory 的可见性已被保证,去掉后带来约 20 TFLOP/s 的收益。文章还分析了 tcgen05.cp 与 tcgen05.mma 的隐式流水、PTX assembler 对单线程指令的保守串行化、cluster size 对占用率的影响,以及 tensor memory 触发的单 SM occupancy 限制。最后给出较完整的 GPU kernel benchmark 规范,强调输入分布、L2 冷热状态、warmup 和温度稳态都会显著影响 TFLOPs。整体内容适用于做 Blackwell/CUDA 内核、性能分析和基准设计的人,但结论主要建立在特定硬件与 PTX 行为之上,跨架构迁移时需要重新验证。

推荐收录,因为文章不是单纯发布稿,而是给出了 Blackwell GPU 内核优化的具体证据:PTX 因果/代理模型、assembler 生成差异、cluster 占用率和基准方法都配有可验证的观察。适合做 CUDA 内核、性能调优和基准设计的读者参考,但其结论强依赖 Nvidia 新架构与特定指令语义,迁移到其他 GPU 时需重新实测。

科研议题Stanford Hazy Research

What Does Information Theory Say About Designing Agentic Systems?

这篇文章从信息论视角分析 agentic 系统中的“压缩器—预测器”结构:大模型作为编排器,小模型先从长上下文中提炼信息,再由上层模型综合生成结果。作者指出,当前系统评估往往只看端到端指标,难以区分是压缩阶段丢信息,还是预测阶段没用好信息,因此引入互信息来衡量压缩质量与信息密度。基于五类长上下文任务的实验,文章发现:增强压缩器通常比继续放大预测器更有效,且在固定预算下更适合把算力投向可本地运行的小模型。实验还显示,不同模型家族对压缩质量的影响大于单纯参数规模,互信息与下游准确率、困惑度存在较强相关。作者进一步在 DeepResearch 场景验证了该思路,在仅为前沿模型 28% 成本下达到 102% 的性能,但也承认互信息估计在实践中仍然困难,且结论主要适用于压缩—预测式多模型工作流。

文章给出了明确实验、可量化指标和跨任务验证,不是泛泛讨论 agent,而是提出了可迁移的设计原则:优先增强压缩器、关注信息密度、用互信息评估通信质量。适合做多模型工作流、Deep Research 或端侧/云端混合架构设计的参考,但需注意互信息估计本身仍有实践难点。

科研议题Stanford Hazy Research

Our In-House Recipe for Juicy, Fact-Stuffed MLPs

这篇博客从“生成式”视角研究 Transformer 中 MLP 层如何存储事实:不再只对已训练模型做探测,而是直接构造一个能够实现 key-value 映射的门控 MLP,并给出正确性与参数规模的理论保证。作者先提出 encoder gadget:在固定门控矩阵后,把求输出的问题化为线性系统,从而以接近最优的参数量把有限输入映射到任意标量。随后引入 value embeddings 的可解码性指标 ρ,利用“margin-optimal outputs + 随机 JL 投影”把输出维度压缩到 Θ(ρ^-2 log|V|),使整体 fact-storage cost 达到 Θ(ρ^-2|K|log|V|)。当值向量较均匀、ρ=Ω(1) 时,这一规模接近信息论下界,并显著优于先前构造;实验也显示其参数效率接近梯度下降训练的 MLP,且明显好于 NTK 基线。局限在于结论依赖 generic keys、ρ>0 以及随机投影高概率保证,主要覆盖可分性较好的嵌入情形。

推荐收录,因为文章明确给出了可证明的事实存储构造、参数下界对齐和可解码性 ρ 的核心理论证据,不是泛泛讨论 MLP 记忆现象。适合研究 Transformer 内部机制、表示几何和模型压缩的读者;其“先构造、再压缩、再验证”的思路也具有可迁移价值,但对嵌入可分性与随机性假设较强。

科研议题Stanford Hazy Research

Maximizing American Gross Domestic Intelligence with Hybrid Inference

文章提出“Gross Domestic Intelligence(GDI)”框架,把国家可部署的AI能力近似写成“单位功耗的智能效率(IPW)× 可用于计算的电力”,并用它解释中美在AI竞赛中的不同瓶颈:美国更受电网和数据中心选址约束,中国更受高端芯片与制造工具限制。作者进一步指出,随着推理型服务和Agent需求上升,AI竞争正从训练转向推理部署,因此应把美国境内大量闲置的本地加速器视为战略资源。基于对1M单轮对话/推理查询的研究,文章主张采用本地-云混合推理:简单请求在设备端处理,复杂请求升级到云端。文中声称这种路由可覆盖80%以上的单轮查询,并相对全云方案带来约64%的能耗、62%的算力和59%的成本下降,同时把美国可用推理容量提升约2-4倍。文章的主要适用边界是单轮聊天与推理场景;对强SLA、长上下文和高难度任务,仍需依赖前沿云模型,且文中的国家级容量与政策推论高度依赖若干估算假设。

文章给出了可复用的技术框架:用路由器把本地模型与云端模型组合起来,并用真实流量和能效数据量化收益。适合关注推理系统、端侧AI、容量规划和隐私架构的读者;需要注意的是,其中的地缘政治与国家级GDI推导建立在多项估算上,宜把结论视为策略判断而非精确测量。

科研议题Stanford Hazy Research

Stuffing MLPs Full of Facts 🧠: A Generative Approach to Factual Recall

这篇文章讨论 Transformer 中 MLP 层如何存储与检索事实,作者没有沿用“事后分析已训练模型”的路线,而是采用生成式方法,直接构造可证明正确的事实存储 MLP。核心思路是把单隐层 MLP 分解为编码器和解码器:编码器把 key 压缩成约为 log F 维代码,解码器再恢复到 value 空间,从而在参数量上达到接近信息论下界的 Θ(F log F) 级别。文章进一步提出“可解码性”指标来刻画输出嵌入几何对容量的限制,并发现其对梯度训练和构造型 MLP 的事实存储能力都有很强预测性。作者还给出让 Transformer 可靠调用这类 MLP 的若干结构改动,并展示了在合成事实回忆任务上超过 99% 的召回率。最后,文章证明可通过整体替换 MLP 块实现模块化事实编辑,但同时指出容量与可用性之间存在权衡,且目前结果主要建立在受控合成设置中。

收录价值明确,因为文章不仅解释了 LLM 事实记忆的机制假设,还给出可证明的构造、下界匹配的容量分析和可复现实验。适合关注大模型机理、表示几何、可编辑记忆与合成验证的研究者阅读,但需注意其结论主要来自受控任务,向真实预训练模型迁移仍有边界。

工程实践Stanford Hazy Research

Loads and Loads of Fluffy Kittens

文章系统总结了 ThunderKittens 在多 GPU 计算-通信融合中的设计经验,围绕传输机制、重叠调度和 tile 组织给出可复用原则。作者比较了 copy engine、TMA 与寄存器级指令的适用区间,指出消息粒度、是否需要 in-network reduction、以及能否与计算对齐,决定了最优方案。随后用这些原则实现并评测了数据/张量并行中的 AG+GEMM、GEMM+RS/AR,序列并行中的 Ring Attention 与 Ulysses,以及 MoE token dispatch 融合 GEMM,整体能以几十行 device code 达到或超过手写优化内核。文章也明确了边界:结论主要针对 NVLink/NVSwitch 上的 Hopper/Blackwell,跨节点、不同互联和不同算子仍需重新权衡。

收录,因为它不只是展示结果,而是把多 GPU 算子融合的关键选择——传输机制、调度方式和 tile 划分——用实验和对比讲清楚了。适合做 AI 系统、GPU 性能优化和分布式算子设计的参考,但需要注意其验证平台主要是 NVLink/NVSwitch 体系。

科研议题Stanford Hazy Research

ParallelKittens: Simple and Fast Multi-GPU AI Kernels

这篇文章是 ThunderKittens 新增多 GPU 能力的总览性介绍,核心目标是把 AI kernel 从单卡扩展到基于 NVLink/NVSwitch 的 scale-up 多 GPU 场景。作者提出三条经验:通信启动方式有不同开销,调度可以在主机、SM 乃至 SM 内部多层重叠通信与计算,以及直接手写少量 device 代码往往比 NCCL、NVSHMEM 等现成库更能利用新硬件特性。文章强调 tile 仍然是多 GPU kernel 的基本抽象,因为它既能饱和带宽,又能延续 ThunderKittens 的编程模型。作者用 BF16 all-reduce、all-gather+GEMM 和 Ring Attention 等基准展示更新版实现已能达到或超过现有最优结果。其边界是目前主要聚焦单机多 GPU,后续还计划补充跨节点通信、MoE 负载均衡和文档整理。

推荐收录,因为文章明确给出了多 GPU kernel 的设计原则、通信/调度取舍以及基准结果,并不是泛泛的产品宣传。适合做 GPU 系统、AI kernel 优化和多卡通信设计的参考,尤其对需要从 NCCL 之类库转向自定义实现的读者有直接迁移价值。

工程实践Stanford Hazy Research

AMD GPUs go brrr

这篇文章深入分析了 AMD MI355X/CDNA4 GPU 上 AI kernel 的性能来源,并提出 HipKittens 作为面向 AMD 的编程原语集合。作者先从硬件结构入手,对比了 AMD 与 NVIDIA 在寄存器文件、SRAM、矩阵指令、chiplet/L2/LLC 组织以及编译器支持上的差异,说明许多在 NVIDIA 上有效的做法在 AMD 上会失效。文章重点解释了为什么 wave specialization 在 AMD 上表现不佳:没有寄存器重分配、AGPR/VGPR 约束更强、以及细粒度同步和内存指令行为更复杂。为此,作者提出 8-wave ping-pong 和 4-wave interleave 两种调度模式,并结合 chiplet-aware 的 grid 排布来提升缓存复用。实验表明,这些策略在 GEMM 和 attention 等工作负载上能达到接近或优于现有 AMD 基线的性能,但其方法强依赖 CDNA3/4 细节、HIPCC 行为和底层指令布局知识,移植到其他平台仍需重新验证。

收录依据很明确:文章不仅给出 AMD GPU 的硬件差异分析,还提供了寄存器调度、bank conflict、chiplet cache 复用和基准测试的完整证据链。适合做 GPU kernel、编译器和 AI 基础设施的长期参考,但读者需要接受其强 AMD/CDNA 绑定和大量底层实现细节。

工程实践Stanford Hazy Research

HipKittens: Fast and Furious AMD Kernels

文章围绕 AMD GPU 上的高性能 AI kernel 设计,介绍了 HipKittens 这一套面向 HIP 的 C++ 嵌入式原语。作者先分析现有 AMD 软件栈的问题:AITER、PyTorch、Triton、TileLang 和 CK 在若干 attention/GEMM 场景下难以稳定逼近峰值,部分还受限于寄存器分配、bank conflict、chiplet swizzle 等硬件细节。随后提出核心判断:tile 抽象可以跨架构复用,但真正决定性能的内存访问、调度和后端实现必须按 AMD/ NVIDIA 分开定制。基于这一思路,HipKittens 用约 500 行代码实现 attention 前向、不到 100 行热循环实现 GEMM,并在多项基准上超过现有基线。文章同时指出 wave specialization 在 CDNA3/4 上并不总有效,说明可移植的高层接口并不等于可移植的底层优化。

文中直接给出可验证的性能结果:HipKittens 的 attention 和 GEMM kernel 在 AMD MI355X 上超过多种基线,且代码规模很小,说明其方法不只是概念展示。适合做 GPU kernel、AI 编译器和多硬件适配的参考,尤其能帮助读者理解“统一接口、分离后端实现”的可迁移设计。

科研议题Stanford Hazy Research

Intelligence Per Watt: A Study of Local Intelligence Efficiency

这篇文章提出用“intelligence per watt(IPW)”衡量本地推理的效率,把任务准确率除以推理功耗,试图用一个统一指标比较不同本地模型与加速器的“单位能耗智能产出”。作者从主机时代到PC时代的算力迁移类比出发,认为随着小模型能力提升和本地硬件进步,部分原本依赖云端的大模型请求可以迁移到本地设备。文章基于100万条真实查询与多种基准,评估了20多种本地LLM和多类硬件,发现本地模型已能正确处理88.7%的单轮聊天与推理任务,且2023到2025年间效率提升约5.3倍。研究同时指出,本地加速器与企业级加速器之间仍有约1.5倍的IPW差距,说明硬件侧还有明显优化空间。文章也明确了边界:主要覆盖单轮通用问答与推理,不涉及长链路代理任务、长文档处理或更大批量推理;功耗测量与“准确率=智能”的代理指标也存在近似误差。

推荐收录,因为它不仅讨论本地LLM是否“能用”,还给出了可复现的评测指标IPW、真实查询数据和跨硬件实验结果,证据链完整。适合关注推理成本、边缘部署和模型/硬件协同优化的研究者与工程师参考,但需注意其结论主要适用于单轮通用任务,不能直接外推到agent或长上下文场景。

工程实践Stanford Hazy Research

How Many Llamas Can Dance in the Span of a Kernel?

这篇文章介绍了 Stanford Hazy Research 的一个吞吐优先版 Llama-70B megakernel:在 8 卡张量并行场景下,把预填充与解码、Paged KV cache、跨 GPU 通信和 CPU 侧调度尽量纳入单个内核的统一执行框架。作者沿用“解释器模板 + 指令序列”的设计,由 CPU 预先生成调度,内核内部按较粗粒度指令执行,从而减少 kernel launch、协调开销和 CPU 参与。文章重点分析了三类重叠:SM 内重叠、跨 SM 重叠和跨 GPU 重叠,并说明如何通过 warp specialization、显式同步和远程读写把这些优化放进同一套 megakernel 里。实测上,该原型在 ShareGPT 65,536 prompts 上端到端比 SGLang 快约 22%。其边界在于依赖较大的算子粒度和复杂的手工调度,当前更适合大模型高吞吐推理,而非所有模型与硬件都能直接套用。

推荐收录,因为它给出了把多 GPU 推理的调度、通信与计算统一进单核框架的直接实现证据,而不只是概念讨论。适合做大模型推理系统、CUDA 优化和高吞吐服务设计的参考,尤其对需要权衡 launch 开销、通信重叠和调度复杂度的工程场景很有迁移价值。

工程实践Stanford Hazy Research

We Bought the Whole GPU, So We're Damn Well Going to Use the Whole GPU

这篇文章介绍了一个面向 Llama-70B 张量并行推理的高吞吐 megakernel,目标是在 H100 上把计算、显存带宽和 NVLink 通信尽量同时吃满。作者先回顾了此前面向低延迟的单卡 megakernel,再说明高吞吐场景下工作负载更异质:矩阵乘法偏计算、RMS norm 和 decode 偏内存、跨 GPU 交换偏通信,因此必须做分层重叠。文中提出新的指令集与解释器执行模型,把 RMS norm、QKV、Attention、O-projection、MLP 等融合为少量指令,并用分布式 transpose 代替部分 reduce-scatter,以便把通信隐藏在后续计算之后。文章还展示了三层优化:SM 内指令流水化、跨 SM 的全局 work queue 动态调度、跨 GPU 的 storer 线程通信重叠,并通过消融实验证明这些策略在大 batch 下能带来数个百分点到十几个百分点的吞吐收益。最终将 megakernel 集成到 Tokasaurus,在 ShareGPT 65,536 prompts 的端到端吞吐上比 SGLang 高约 22%,但作者也明确说明这套代码对编译器版本、GPU 配置和同步细节非常敏感,属于研究原型而非可直接落地的生产实现。

推荐收录,因为文章给出了可复现的系统设计证据:指令/解释器架构、跨 SM 全局调度、跨 GPU 通信重叠,以及对应的消融和吞吐数据。适合做大模型推理、GPU kernel 融合和多卡通信优化的参考,但需注意它是强依赖 H100 和编译环境的研究代码,不宜直接当作生产模板。

工程实践Stanford Hazy Research

One Kernel for All Your GPUs

这篇文章系统讲解了如何在 NVIDIA 多 GPU 平台上手写高性能通信核,重点面向 NVLink/NVSwitch 互联的单机多卡场景。作者先解释了跨进程共享 GPU 内存的三种路径:UVA、CUDA IPC 和手动 VMM,并说明为何生产环境更需要后两者以及它们的初始化开销与边界。随后文章分析了 NVSwitch 的广播/归约加速机制,以及 copy engine、TMA 和寄存器指令三种通信方式在带宽、并发和可融合性上的差异,给出在 B200 上的实测利用率。最后,作者把这些机制封装进 ThunderKittens 的 PGL 和 TKParallelTensor,展示了不到 100 行代码实现 all-reduce、all-gather、reduce-scatter 和 all-to-all,并在 8 卡 B200 上相对 NCCL 取得最高 2.6x 提升。文章的适用边界也很明确:它主要针对单机 NVLink/NVSwitch 域内的细粒度通信优化,且依赖 VMM、固定粒度显存和较强的 CUDA/编程模型理解,不直接覆盖跨节点通信。

收录价值很高,因为文章不仅给出性能结果,还把多 GPU 通信从内存映射、NVSwitch 机制到 kernel 设计完整串起来,直接提供了可复用的实现路径。适合做分布式训练、MoE、序列并行和自定义 collective 的工程参考;但读者需要接受其局限于单机 NVLink/NVSwitch 域,且实现门槛较高。

科研议题Stanford Hazy Research

BWLer 🎳 (Part 1): PDEs, PINNs, and the Precision Gap

这篇博客讨论物理信息神经网络(PINN)在求解 PDE 时的精度瓶颈,作者认为问题不仅是优化困难,也与网络表示能力有关。为验证这一点,他们先去掉 PDE,只做一维光滑函数插值,发现标准 MLP 即使加宽加深,RMSE 仍常停在 1e-8 左右,远离 float64 的机器精度;而多项式插值器可在很少参数下达到机器精度。基于此,作者提出 BWLer(Barycentric Weight Layer),把多项式插值作为可微层叠加到 MLP 上,或直接替代网络,从而把函数表示与导数计算解耦。在三个 PDE 基准上,BWLer-hatted MLP 最多将 RMSE 降低 1800 倍,显式 BWLer 可到 1e-12,但更依赖二阶优化器;本文主要提供动机和证据,完整机制与实现细节留到 Part 2。

推荐收录,因为文中用“先去掉 PDE 做插值”这一对照实验,直接证明精度瓶颈不只来自方程条件数,也来自 MLP 的表示上限。适合做科学机器学习、PINN 和数值方法研究的读者参考;但当前只是两部分中的前半,具体架构与实现细节需结合 Part 2。

科研议题Stanford Hazy Research

BWLer 🎳 (Part 2): Navigating a Precision-Conditioning Tradeoff for PINNs

文章围绕 PINN 在高精度求解 PDE 时常见的精度瓶颈,提出 BWLer(Barycentric Weight Layer)作为一种以重心拉格朗日插值为核心的高精度替代层。作者将函数表示与导数计算解耦:一种模式让 MLP 只预测插值节点值,再由 BWLer 统一完成全局插值与谱导数;另一种模式则直接把节点值作为可学习参数,形成显式 BWLer。实验表明,前者在三个基准 PDE 上可把误差降低 10 到 1800 倍,后者甚至能把相对误差推到 10^-12 量级,接近机器精度。文章进一步指出,精度提升与条件数恶化之间存在显式权衡:节点越多越精细,但导数矩阵越病态,优化越困难。作者也明确了边界条件:对不连续解、复杂几何或需要快速训练的场景,BWLer 目前仍可能比标准 MLP-PINN 更慢、更依赖二阶优化。

收录证据很明确:文章给出可复现的方法设计、三组基准 PDE 结果、误差与条件数的权衡分析,以及对不连续/复杂域的局限说明。适合做科学机器学习、PINN 和数值方法结合方向的长期参考,尤其对关注高精度训练与优化病态性的读者有可迁移价值。

科研议题Stanford Hazy Research

Weaver: Closing the Generation-Verification Gap with Weak Verifiers

这篇文章介绍了 Weaver:一种用弱验证器弥合“生成—验证鸿沟”的方法。作者指出,大模型往往能生成正确答案,却难以稳定识别哪一个答案正确,因此仅靠多数投票或首个样本会损失大量潜在能力。Weaver 收集 30 多个弱验证器(奖励模型、LM judge、规则检查器等),先做二值化与过滤,再利用弱监督中的潜变量图模型和矩估计,从无标注数据中推断各验证器可靠性并进行加权聚合。该方法在 MATH500、GPQA Diamond、MMLU Pro 等任务上把平均准确率提升到 87.7%,接近并略超 o3-mini,同时还能蒸馏出一个 400M 交叉编码器,保留 98.7% 的集成效果并将验证推理开销降低 99.97%。文章的边界也很明确:它依赖验证器之间存在可利用的协同信号,且对任务难度、阈值设定和独立性假设仍有一定要求,更适合作为后验验证层而非替代生成模型本身。

文中给出了明确的方法链条、无标注聚合的统计假设,以及跨基准的量化结果和蒸馏收益,具备研究参考价值。适合关注 LLM 评测、验证器集成、弱监督与推理系统设计的读者,尤其可迁移到 reranking、候选筛选和低成本验证场景。

科研议题Stanford Hazy Research

Cartridges: Storing long contexts in tiny caches with self-study

文章提出一种面向长上下文推理的新方法:不再直接用一次前向传播生成巨大 KV cache,而是离线用梯度下降“训练”一个更小的缓存,称为 cartridges。为避免只会死记上下文,作者引入 self-study:先让模型基于上下文生成合成问答/对话,再用 context distillation 训练缓存,从而兼顾压缩率与泛化。实验显示,cartridge 在保持接近常规 KV cache 质量的同时,可将内存占用降低 38.6 倍、峰值吞吐提升 26.4 倍,并能把有效上下文长度扩展到训练时窗口之外。文章还给出一个简化的理论分析,说明梯度下降在某些关联回忆任务上能比注意力或线性注意力更省内存。其局限是训练需要额外离线算力,且方法效果依赖合成数据质量与特定上下文形态,仍需更强的训练效率和理论解释。

文中给出了可量化证据:38.6 倍压缩、26.4 倍吞吐提升,以及在 LongHealth、MTOB 等基准上的结果,说明这不是概念性设想,而是有实验支撑的研究方案。适合做 LLM 长上下文服务、KV cache 压缩和 test-time training 方向的读者参考,但需注意其依赖离线训练与合成数据,落地时要评估训练成本和泛化边界。

科研议题Stanford Hazy Research

Look Ma, No Bubbles! Designing a Low-Latency Megakernel for Llama-1B

本文聚焦低延迟、batch size=1 的 Llama-1B 推理优化,指出 vLLM 和 SGLang 在 H100 上因大量小 kernel、launch/teardown 开销、以及严格的 kernel 顺序同步而只能利用约一半 GPU 带宽。作者提出把整层前向传播融合为一个“megakernel”,并用 GPU 端解释器统一调度各类指令。为解决资源竞争与依赖同步,他们设计了共享内存分页机制和基于计数器的显式同步,把权重加载、激活读写和计算更紧密地流水化。实验显示,H100 上前向传播可达到约 78% 内存带宽利用率,较基线提速 1.5x 至 2.5x;B200 上单次前向可压到 680 微秒以内。文章同时说明该方法主要适用于内存带宽主导、且追求极低延迟的场景,仍受激活加载、原子操作和同步开销限制。

文中给出了可验证的性能数据、明确的瓶颈分析和完整的实现取舍,不是泛泛而谈的加速口号。适合做 LLM 推理、GPU runtime 和系统优化的参考,但其收益主要局限于 batch=1 的低延迟内存受限场景。

工程实践Stanford Hazy Research

Mind the Trust Gap: Fast, Private Local-to-Cloud LLM Chat

这篇文章讨论了如何在云端 LLM 聊天中消除“信任云厂商”的前提,核心方案是把本地客户端与远端机密计算环境连接起来,采用临时密钥交换、CPU/GPU 双重远程证明、端到端加密与带 nonce 的消息传递,让提示词和回复只在 TEE 内明文出现。系统基于 AMD SEV-SNP 与 NVIDIA H100 Confidential Computing 构建嵌套 TEE,覆盖从传输、CPU 进程到 GPU 推理的完整链路。作者同时给出原型实现和性能测量,指出初始 attestation 有 2–6 秒固定开销,但消息加解密几乎可忽略。实验显示小模型与高批量场景下开销较明显,而 10B 以上模型、长上下文和常见在线聊天批次下,额外延迟可降到 1% 左右。文章也明确了边界:原型尚未第三方审计,且演示环境仍依赖 Azure 的虚拟化栈信任。

收录依据很直接:文章不仅讲了机密计算的思路,还给出威胁模型、双层 TEE 协议和实际延迟数据,能支撑对“安全是否必然慢”的判断。适合做 AI 系统、安全工程和隐私推理的参考,但需注意它仍是未审计原型,生产落地前还要补充虚拟化与运维侧的安全验证。

科研议题Stanford Hazy Research

BASED ✌️: our one year retrospective

这篇文章是 Stanford Hazy Research 对 BASED 发表一年后的回顾,核心在于重新总结高效语言模型的设计原则与影响扩散路径。作者认为,推理时真正的关键权衡不是“是否使用 Transformer”,而是上下文回忆能力与 state size 之间的关系;BASED 通过“短程精确混合 + 大状态线性注意力”的组合,把这一帕累托前沿向外推进。文章进一步强调了 MQAR、EVAPORATE 等回忆评测任务如何成为衡量高效模型的重要基准,并回顾了该路线如何影响 Mamba-v2、RWKV-v5/v6、MetaLA、MiniMax、Liger attention 等后续架构。实现层面,作者强调从硬件出发设计内核,利用 H100 的 WGMMA/TMA 以及二阶 Taylor 近似的软最大核,在保持高质量的同时提升吞吐,并指出 k=2 在质量与性能间较平衡。文章也给出局限:高效模型仍存在“没有免费午餐”,且结论依赖具体工作负载与硬件平台,迁移时需要重新评估边界。

收录依据明确:文中不仅复盘了 BASED 的设计逻辑,还给出了可复用的评测基准、硬件优化手段和后续模型扩散证据。适合做高效 LLM、线性注意力和 GPU 内核设计的研究参考;但内容带有项目回顾色彩,部分效果宣称仍需结合原论文与独立复现交叉验证。

工程实践Stanford Hazy Research

ThunderKittens Now on Blackwells!

文章介绍了 ThunderKittens 针对 NVIDIA Blackwell/B200 架构的新一代 GEMM 与 Attention kernel 实现,并解释其为什么能接近或超过 cuBLAS、FA3 的性能。作者把重点放在“数据流”而非传统 CUDA 控制流上,围绕 5 代 tensor cores、tensor memory 和 CTA pairs 设计更深的流水线,通过 producer/consumer warpgroup 协作、persistent kernel、跨迭代预取 K/V、以及把输出累积器逐级写回共享内存和 HBM,尽量消除 pipeline bubble。文章还指出 B200 的 tensor core 更大,微基准上更像 128×128 systolic,因此只有当 M、N 维度足够大时才能充分吃满算力,小尺寸 GEMM 会按比例降速。它同时展示了如何把 Hopper 上的 kernel 结构迁移到 Blackwell,并说明 tensor memory 如何缓解 backward pass 的中间状态压力。整体结论是:Blackwell 的性能优化核心是提高并行数据供给深度,而 TK 的 tile 抽象恰好适配这一点,但收益依赖于特定硬件与形状假设。

推荐收录,因为文章直接给出了 Blackwell 上 GEMM/Attention kernel 的实现思路、硬件特性利用方式和明确的性能对比结果,而不是泛泛介绍新卡参数。适合做 GPU kernel、AI 加速和高性能计算的长期参考,尤其对需要把 Hopper 代码迁移到 Blackwell 的读者有可迁移的流水线设计价值;但其结论强依赖 B200 的 128×128 计算单元和特定 tile 形状。

工程实践Stanford Hazy Research

ThunderMLA: FlashMLA, Faster and Fused-er!

本文介绍 Stanford Hazy Research 的 ThunderMLA:针对 LLM 推理中变长请求和小批量 decode 的性能瓶颈,把原本分开的 attention/归约 kernel 融合成一个可由指令张量驱动的 megakernel。作者提出 ThunderKittens 的 interpreter template,在 GPU 上用虚拟指令集组织子 kernel,并通过全局 tensor 做依赖同步,从而减少 kernel launch、尾部效应和中间结果写回。文中还给出两种调度器:静态调度器与基于 makespan 反推的调度器,后者能进一步压缩执行时间约 10%。在 H100 上,ThunderMLA 相比 DeepSeek 的 FlashMLA 在多个 workload 上提升约 20–35%,但调度生成本身仍较慢,主要依赖可复用 schedule,适合推理场景而非通用低延迟单次执行。作者还强调该思路可迁移到 GQA、tensor parallel 的通信重叠以及 MoE 等数据流型 AI 工作负载。

收录价值明确:文章给出了可复现的性能证据、具体的 megakernel 设计和两类调度策略,而不是泛泛谈“更快”。适合做 LLM 推理、CUDA kernel 融合、GPU 调度与性能分析的参考,尤其对需要处理变长序列和小批量 decode 的工程场景可迁移。

科研议题Stanford Hazy Research

Minions: the rise of small, on-device LMs

文章提出 Minions 协议,探索让小型端侧模型与云端前沿模型协作,把长上下文读取、任务分解和部分推理迁移到本地,从而显著降低云端 API 成本。作者先验证了一个较朴素的 Minion 聊天式方案:它只消耗约 3.3% 的云成本,却能保留 87% 的云端性能,但会受到小模型长上下文能力弱、难以稳定执行多步指令等限制。随后 Minions 采用“分解—执行—聚合”循环,由云端模型生成切分与分解代码,本地模型并行处理子任务并筛选结果,再由云端汇总或继续迭代,在金融、医疗和论文问答任务上达到 97.9% 的云端精度,成本仅为 17.5%。文章进一步指出,3B 以下本地模型通常不足以支撑该协议,推理时扩展、细粒度分解和更多通信轮次可继续提升效果,但会带来更长时延和更高本地算力消耗。整体上,它给出了端云协同推理的一种可操作协议,而不是试图用小模型完全替代大模型。

推荐收录,因为文章给出了明确的协议设计、对照实验和成本-精度数据,而不是停留在“小模型很有潜力”的泛论。适合关注端云协同、长上下文任务和推理成本控制的研究者与工程师参考,但其收益依赖较强本地模型与特定数据密集型场景。

科研议题Stanford Hazy Research

Smoothie: a label-free approach for inference-time LLM routing

本文介绍了 NeurIPS 2024 论文 Smoothie,讨论在推理阶段进行 LLM 路由的问题:当同一输入由多个模型生成多个开放式答案时,如何在没有标注数据的情况下选择最优输出。作者借鉴弱监督思想,把每个模型的生成视为“投票”,再用预训练编码器提取文本嵌入,并以生成之间的欧氏距离衡量一致性:越接近群体中心、与其他输出越一致的模型,被估计为质量越高。文章进一步提出 Smoothie-Global 与 Smoothie-Local 两种变体,分别对应全局路由和按样本局部路由,并强调整个过程不需要训练,只需计算嵌入即可。实验显示,该方法在 AlpacaEval 等任务上相较随机路由有明显提升,平均胜率提升约 15 个点、最高可达 27 个点;在多任务集上也优于若干有监督基线。其边界在于效果依赖嵌入质量和“模型间一致性近似质量”的假设,且经典版本默认需要先获得多模型生成结果,适合推理成本可控、追求无标注路由优化的场景。

文章给出了无标注 LLM 路由的明确方法、数学建模和实验增益证据,且有 NeurIPS 论文与代码支撑,不是泛泛概念介绍。适合做多模型推理、test-time compute 和开放式生成路由方案设计的读者参考,但需注意其依赖嵌入一致性假设与多模型输出前置成本。

工程实践Stanford Hazy Research

ThunderMittens For Your ThunderKittens

文章记录了 Stanford Hazy Research 将 ThunderKittens 这一面向 NVIDIA GPU 的 AI kernel DSL 移植到 Apple Silicon/Metal 的过程,并把新版本命名为 ThunderMittens。作者先分析了 M2 Pro 的硬件特征:内存带宽相对算力更高、共享内存收益有限、bf16 编译优化不稳定、占用率对性能影响很大,因此更适合用直接寄存器加载和更简单的 kernel 组织方式。移植时,用户侧几乎只需把基础 tile 从 16x16 改成 8x8;内部则删去 swizzling、WGMMA/TMA 和异步读写等 NVIDIA 特定机制,并通过不同寄存器布局适配 Metal 指令。文中给出 GEMM 与注意力推理 kernel 的实现片段,说明 DSL 抽象在不同硬件上基本保持稳定,但具体优化手段会随平台变化。性能上,注意力 kernel 与 MLX 相差约 ±15%,GEMM 在多数尺寸上快约 9%,同时代码行数显著减少,但作者也承认当前仍处早期阶段,且调试依赖反复试验与 Xcode GPU 工具。

收录依据很直接:文章不仅给出跨平台 kernel 迁移的设计原则,还提供了具体实现、硬件约束和性能数据,能支撑读者判断 DSL 在异构 GPU 上的适用性。适合做 AI 系统、GPU kernel 和编译/DSL 设计的长期参考,但需要注意其结论主要基于 M2 Pro 与特定 kernel,泛化到其他平台仍需验证。

工程实践Stanford Hazy Research

ThunderKittens: Bringing fp8 to theaters near you

这篇文章介绍 ThunderKittens 为 fp8 新增算子与 GEMM kernel 的实现思路,目标是在保持统一编程接口的同时支持量化数据类型。作者重点解释了 fp8 与 fp16/bf16/fp32 在寄存器布局上的差异,以及为何需要额外的线程间 shuffle 来完成数据重排,而不是简单复用原有 tile 逻辑。文章进一步分析了 ldmatrix/stmatrix 与 WGMMA 在 H100 上的使用方式,说明 fp8 在共享内存到寄存器加载时仍受 16 位指令接口限制,只能通过“先按 16 位加载再拆成两个 fp8”的方式绕过。为了降低 bank conflict,作者讨论了 32/64/128-byte swizzling 的适用条件,并把 fp8 tile 宽度下限提高到 32,以匹配更大的 core matrix 和更好的硬件利用率。整体结论是:fp8 kernel 可以复用 bf16 的整体结构,但必须围绕数据布局、bank conflict 和硬件指令约束做针对性改造,且效果高度依赖 NVIDIA H100 这类支持 WGMMA 的平台。

文中直接给出了 fp8 kernel 的布局、shuffle、swizzle 和 bank conflict 处理细节,并用 H100/WGMMA 约束解释了为何要这样设计。适合做 GPU 算子、AI 基础设施和高性能 CUDA 编程的参考,但结论明显依赖特定硬件代际。

科研思考Stanford Hazy Research

An Unserious Person’s Take on Axiomatic Knowledge in the Era of Foundation Models

这篇文章以较强的个人反思口吻,讨论在 foundation models 时代“公理化知识”是否仍然是理解世界的最佳起点。作者回顾了自己从逻辑、概率统计、NLP 到生物序列建模的研究经历,认为许多传统方法的美感和严整性并不总能转化为更好的系统效果,而大模型这种“混乱但有用”的工具常常能在新的操作区间里带来意外收益。文章重点以 HyenaDNA、DNA foundation model、以及用于最小二乘和微分方程的相关工作为例,说明 foundation model 在科学问题上可能更像一种新仪器,而不是旧理论的替代品。作者同时指出一个重要边界:现有模型在数值精度上仍明显不及传统科学计算方法,尤其在优化和高精度求解场景里差距很大。整篇文章的核心结论不是否定数学和方程,而是主张更谨慎地判断“知识的运行区间”,不要默认古典理论的优雅性就等于在新问题上的可迁移性。

推荐收录,因为文章直接围绕 foundation models、DNA 建模、最小二乘精度和 PDE/ODE 这类科研问题展开,并明确指出大模型在科学计算中的适用边界。适合关注 AI for Science、研究方向判断和方法论反思的读者,尤其能帮助理解“能做”与“做得足够精确”之间的差别。

工程实践Stanford Hazy Research

Easier, Better, Faster, Cuter

这篇文章介绍了 ThunderKittens 的第二轮升级,重点是把它从“可玩”推进到“可用”的 GPU kernel 工具箱。作者发布了多类新算子与实现,包括 fused Mamba-2、长卷积、线性注意力、RoPE、LayerNorm 和线性层,并给出在 H100 上相对现有 Triton/FlashFFTConv 实现的性能提升数据。文章还展示了 Llama3、Qwen2.5、nanoGPT、PyTorch Lightning 等集成示例,说明这些 kernel 已能用于推理和训练。除了算子本身,TK 2 还强化了构建系统、自动共享内存布局、全局 layout 描述、类型支持和大规模测试,降低了编写 kernel 的复杂度。作者强调,注意力加速的主要收益并非来自复杂算法,而是更好地利用 GPU、控制寄存器与内存流动;但当前实现仍偏向特定硬件与模型形态,且 FP8 支持尚未完善。

文中直接给出多项 kernel、注意力实现和基准对比,且附带可运行 demo 与训练集成,说明它不是概念展示而是可落地的工程经验。适合做 GPU kernel、LLM 推理/训练加速和算子设计的参考,但读者需要注意其性能结论强依赖 H100 与特定布局。

科研议题Stanford Hazy Research

Linearizing LLMs with LoLCATs

文章介绍了 LoLCATs,一种把现有 Transformer 大模型“线性化”为亚二次推理结构的方法。核心思路不是从头设计新架构,而是先用线性注意力替换 softmax 注意力,再通过 attention transfer 让新注意力近似原模型行为,并用 LoRA 这类参数高效微调恢复质量。作者声称该方法在 Mistral 7B、Llama 3 8B 等模型上显著优于传统线性化方案,且在零样本任务上接近原始 Transformer,同时把训练参数和 token 成本压到很低。更重要的是,他们把方法扩展到 Llama 3.1 8B/70B/405B,展示了在“学术算力”下线性化超大模型的可行性。文章适合关注高效推理、模型压缩和 Transformer 结构替换的读者,但其结论主要依赖论文与基准评测,实际部署仍需结合任务分布和质量回归风险验证。

有明确的研究问题、方法链路和量化结果:attention transfer + LoRA 低成本线性化,并给出 7B 到 405B 的实证。适合做 LLM 高效推理、结构替换和模型压缩的参考,但落地时仍需关注任务迁移与质量回归。

科研议题Stanford Hazy Research

LoLCATs Blog Part 2: How to Linearize LLMs for Me and You

文章介绍 LoLCATs,用于把已有 Transformer 线性化为子二次复杂度 LLM。方法在保持预训练骨架不变的前提下,先用可学习线性注意力/滑窗混合层做 attention transfer,再用少量 LoRA 重新连接 QKVO,并在 405B 场景加入按层分块训练以降低显存和磁盘开销。作者报告在 7B/8B 上仅用约 0.2% 参数、4000 万 token 即可弥合超过 80% 的线性化质量差距,并将 70B/405B 线性化成本压到远低于既有方法。局限是它依赖现成 Transformer 作为起点,主要验证于 LM Eval 等基准,且更像“后转换”而非从零设计新架构。

推荐收录,因为它给出了从软注意力迁移到线性注意力的完整训练配方,并用 7B/70B/405B 结果证明能显著降低线性化成本。适合关注高效注意力、大模型压缩和架构替换的研究者,但结论主要建立在预训练模型与基准评测上。

科研议题Stanford Hazy Research

Just read twice: closing the recall gap for recurrent language models

这篇文章讨论了高效递归语言模型在“联想回忆”(associative recall)上的缺口:虽然 Mamba、RWKV、Based 等架构在困惑度和推理效率上接近 Transformer,但在需要从长上下文中准确检索事实时仍明显落后。作者从理论上把联想回忆归约到集合不相交问题,说明仅靠固定大小的因果状态会对输入顺序高度敏感,因此需要更合适的读入顺序或非因果建模。基于这一洞察,文章提出 JRT-Prompt 通过重复上下文来帮助模型在多次扫描中决定“该记住什么”,以及 JRT-RNN 通过非因果编码器加因果解码器提升选择性记忆能力。实验显示两种方法都能在多个问答与信息抽取基准上显著提升准确率,JRT-RNN 可把强递归基线拉近到 Transformer 质量,同时保持线性时间/常数状态优势。文中也指出训练目标如何在因果与非因果模型间公平对齐仍是开放问题,结论主要适用于回忆密集型任务而非所有语言建模场景。

收录理由充分:文章不仅给出召回缺口的理论解释,还提供 JRT-Prompt/JRT-RNN 的具体方法、实验对比和 CUDA 实现结果。适合研究高效 LLM、线性注意力和长上下文检索能力的读者,迁移价值在于“重读/非因果”这类设计思路,但其收益主要集中在召回型任务。

科研议题Stanford Hazy Research

Efficient language models as arithmetic circuits

这篇文章围绕“高效语言模型为什么在关联回忆(associative recall)上落后于 Transformer”展开,用 MQAR 这一合成任务把能力差异具体化。作者先从 gated convolution、linear attention 和 selective state space 等架构的实证误差分析出发,指出大部分质量差距集中在需要从上下文中精确检索旧信息的回忆能力上。随后,文章把这些模型统一表述为算术电路/多项式计算,提出 BaseConv 作为抽象代理,并证明它能在多项式参数和近似多项式层数内模拟低深度算术电路。进一步结果表明:在高压缩表示下,BaseConv 无法用常数层精确解决 MQAR,需依赖序列长度增长的深度下界;而在 recurrent 记忆受限设置下,也可借助 index 问题给出 Ω(N) 级状态下界。文章最后用实验验证这些理论趋势,但结论主要适用于回忆型任务与特定编码假设,不直接等同于整体困惑度或通用生成能力。

收录理由充分:正文同时给出了任务定义、统一建模框架、上界/下界证明思路和实验验证,不是泛泛讨论高效模型。适合研究 LM 架构、长上下文记忆与理论计算复杂度的读者参考;但结论对编码方式和 MQAR 这类回忆任务依赖较强,外推到通用语言建模时需谨慎。

科研议题Stanford Hazy Research

Announcing LoCoV1 and the Latest M2-BERT Models

这篇文章发布了新的长上下文检索基准 LoCoV1,并同步推出更新版 M2-BERT 检索模型。LoCoV1 覆盖 12 个真实任务,来自法律、医学、科学、金融、公司治理、政府报告和编程等领域,数据源包括 Tau Scrolls、QASPER、LongBench、CourtListener 和 StackOverflow,重点考察长查询、长文档以及信息分散分布时的检索能力。作者基于原始 M2-BERT 预训练检查点,分别训练了支持 128、2k、8k、32k token 的检索编码器,并与 BM25、ColBERT、LongColBERT 及多种商用/开源嵌入模型对比。结果显示,BM25 在 LoCoV1 上出人意料地强,而 8k/32k 的 M2-BERT 能显著超过更大参数规模的神经检索器,说明长上下文任务上稀疏与稠密方法各有优势。文章也给出边界:在 MLDR 上直接做精确搜索时,嵌入式方法表现下降,但结合 BM25 召回再重排后可取得更高 nDCG@10,提示混合检索可能更稳健。

文章直接给出新基准、训练设置、对比结果和失效场景,证据链完整,适合关注检索评测、长上下文建模和 RAG 召回设计的读者。其可迁移价值在于说明长文检索不应只依赖稠密向量,稀疏召回与重排组合在真实任务中往往更可靠。

工程实践Stanford Hazy Research

ECLAIR: A Treat for the Enterprise

这篇文章介绍了 Stanford Hazy Research 提出的 ECLAIR 系统,目标是用多模态基础模型自动化企业中的复杂工作流,替代传统 RPA 依赖硬编码规则、搭建成本高、易失配且维护昂贵的问题。作者将自动化流程拆成 Demonstrate、Execute、Validate 三个阶段:先通过录屏、点击和键盘轨迹以及文档学习人工经验,再在执行时依据屏幕状态和 SOP 选择动作,最后利用行动轨迹自我审计并纠错。文章以斯坦福医院 Epic 系统中的 telesitter 下单流程为真实案例,展示了从任务采集到全自动执行与验证的闭环。它强调 ECLAIR 是面向企业工作流自动化的第一步,而非最终方案,当前仍需要更好的错误处理、监控机制,以及对必须人工签署的场景引入 human-in-the-loop。整体来看,这是一篇兼具研究原型和工程落地讨论的系统介绍,适合关注 AI 工作流、RPA 演进和企业软件自动化的读者参考。

收录依据很明确:文章给出了企业工作流自动化的系统设计、真实医院场景案例,以及对 RPA 三类失败模式的具体分析,不是泛泛的产品宣传。适合做 AI Agent、企业自动化和人机协同系统设计的参考,但读者也应注意其仍是原型阶段,距离大规模企业级可靠部署还有验证和治理边界。

工程实践Stanford Hazy Research

GPUs Go Brrr

文章围绕如何让 NVIDIA H100 的 Tensor Core 尽可能持续工作展开,作者先拆解 H100 的计算、共享内存、L2、寄存器和 TMA/WGMMA 等关键硬件资源,再用微基准说明真正的瓶颈不只是 HBM,而是共享内存延迟、地址生成开销和银行冲突。文章强调 WGMMA 与 TMA 是榨干算力的必要条件,同时指出其共享内存布局和 swizzle 规则文档混乱、易出错,需要精细控制数据布局与流水线。基于这些经验,作者发布了嵌入 CUDA 的 DSL ThunderKittens,用 tiles 抽象寄存器和共享内存中的张量操作,让复杂 kernel 代码显著简化。文中给出 FlashAttention-2 和线性注意力的实现与性能结果,说明在 H100 上可比常见实现进一步提升约 30%,但也暗示该方法高度依赖特定 GPU 架构与手工调优边界。

推荐收录,因为文章给出了 H100 上从硬件特性、布局约束到 kernel 实现的完整证据链,并以实际基准证明 ThunderKittens 能带来可观性能提升。适合做 GPU kernel、AI 加速和底层 DSL 设计的参考,但读者需注意其结论强依赖 Hopper 架构,且 swizzle/TMA 细节具有较强平台特定性。

科研议题Stanford Hazy Research

Learning from DNA: a grand challenge in biology

文章介绍 Stanford Hazy、Arc 与 Together AI 联合训练的 Evo:一个 7B 参数、基于 StripedHyena 的长上下文生物基础模型,使用 2.7M 个细菌和噬菌体基因组、300B token 的 OpenGenome 语料,以单核苷酸 byte-level 方式做 next-token 预测。作者把 DNA 视为同时承载 DNA、RNA、蛋白三种“语言”的统一建模问题,展示了跨中心法则的零样本泛化,包括蛋白功能预测、基因必需性判断,以及无监督生成新的 CRISPR 系统。文章重点分析 DNA 建模的难点:超长上下文、单碱基分辨率和噪声序列,并通过 300 个模型的 scaling laws 发现 Transformer++ 在 byte-level 上明显落后,Hyena/StripedHyena 更具计算效率。作者还提出 Mechanistic Architecture Design,用合成任务解释压缩、聚合和过滤能力,并据此改进架构;但当前证据主要来自原核和噬菌体数据,向真核与真实应用迁移仍有限。

推荐收录,因为它给出了生物序列基础模型的完整研究链条:数据集、架构、缩放律、机制分析和零样本验证都写得很清楚。适合关注长上下文、字节级建模、跨模态 foundation model 与生物计算交叉的读者,但要注意其结论目前主要建立在原核/噬菌体数据上。

科研议题Stanford Hazy Research

Based: Simple linear attention language models balance the recall-throughput tradeoff

这篇文章围绕“检索能力(recall)—生成吞吐—显存占用”之间的权衡展开,指出许多高效架构虽然推理更快,但在长上下文回忆和 in-context learning 上会明显弱于 Transformer。作者通过可控的合成关联回忆实验和真实语言建模评估,比较了注意力、滑窗注意力、线性注意力和 Mamba 等方法,发现单一原语都难以同时兼顾局部精确对齐与全局信息传递。基于这一分析,文章提出 Based:将极小窗口的滑窗注意力与二阶 Taylor 近似的线性注意力结合,用固定大小的递归状态在 recall 与 throughput 之间移动到更优的 Pareto 前沿。实验显示它在信息抽取、阅读理解和回忆型任务上优于先前子二次架构,同时在大模型推理吞吐上显著快于 FlashAttention-2 和 Mamba;但它仍未完全追上最强 Transformer,且效果强依赖特征映射与状态设计。文章还给出 IO/数据流感知的 CUDA 实现思路,说明算法与硬件协同对最终速度至关重要。

推荐收录,因为文章同时给出了问题定义、实证曲线、架构设计和 CUDA 实现优化,直接证明了其不仅是模型概念介绍,而是可复用的研究与工程方法。适合做长上下文模型、线性注意力和高吞吐推理系统的读者参考,但需注意其结论仍受任务类型和状态规模限制,未完全超越 Transformer。

科研议题Stanford Hazy Research

Long-Context Retrieval Models with Monarch Mixer

这篇文章介绍了基于 Monarch Mixer(M2)的长上下文检索模型探索:作者用可替代注意力和 MLP 的 Monarch 矩阵构造 BERT 变体,并借助长卷积实现更高效的长序列建模。为适配 2K/8K/32K 上下文预训练,他们发现仅把短文硬拼接效果不佳,因此改用自然长文与拼接文档的混合语料,并在 32K 模型上从 8K 检查点 warm-start。检索微调阶段,作者指出常见对比学习损失受 batch size 影响严重,于是改用可在单样本显存约束下工作的 orthogonal loss,从而在长文场景稳定训练。文章还发布了 LoCo 长上下文检索基准,涵盖会议纪要、政策报告、剧本和论文等任务;结果显示 M2-BERT-32K 在该基准上显著优于同级或更大模型,但目前基准仅有 5 个任务,仍处于早期扩展阶段。

有明确的研究贡献:模型结构、长文预训练配比、微调损失和新基准 LoCo 都给出了可复用的做法与结果。适合做长上下文检索、Embedding 和 RAG 评估的研究/工程读者参考,但需注意基准规模仍小、结论是预览版。

技术文章Stanford Hazy Research

Long Convolutions for GPT-like Models: Polynomials, Fast Fourier Transforms and Causality

文章用一个面向模型实现的教程,解释长卷积为何能用于 GPT 类长上下文模型。作者先把序列和卷积核写成多项式系数,说明卷积系数等价于多项式乘法中的卷积项,从而把问题转化为代数运算。接着介绍系数表示与取值表示之间的转换,借助根单位构造离散傅里叶变换矩阵,并利用 FFT 将乘法复杂度降到 O(n log n)。文章最后讨论“因果性”与额外高阶项的处理方式,区分截断、延长和循环卷积,并指出 GPT 风格模型通常需要前两者而不是纯循环卷积。其不足是偏入门教程,数值稳定性、实现细节和硬件优化只做了概述,但作为理解长卷积与 FFT 关系的入门材料很扎实。

文中直接给出了“卷积=多项式乘法”“FFT 实现 O(n log n) 乘法”以及因果卷积如何适配 GPT 的完整链条,适合做长上下文建模、序列建模和高效算子实现的基础参考。它对研究和系统读者都可迁移,但主要是教程性质,读者仍需结合实现论文或代码处理数值稳定与工程细节。

科研议题Stanford Hazy Research

Monarchs and Butterflies: Towards Sub-Quadratic Scaling in Model Dimension

文章综述了作者团队围绕“让模型维度计算从二次复杂度走向次二次复杂度”的研究路线,核心对象是 MLP 和投影层中的矩阵乘法。作者先指出:任意稀疏虽能减少参数,但会遇到质量-计算量权衡和 GPU tensor core 利用率低的问题,因此难以在真实硬件上兑现收益。随后文章从 FFT 的 Butterfly 计算模式出发,介绍可学习的结构化稀疏矩阵及其在 GPT-2 上的效果,再进一步过渡到 Monarch 矩阵,通过置换加块对角分解来适配 dense GEMM 硬件。实验显示 Monarch/Monarch Mixer 可在 OpenWebText、BERT、长序列任务上同时保持或接近原始精度,并带来可观的参数与端到端加速。文章的边界也很明确:这些方法主要针对特定线性层与特定结构,仍是研究路线而非通用替代方案。

推荐收录,因为文章不仅讨论了稀疏化,还明确比较了任意稀疏、Butterfly、Monarch 等结构在质量与硬件效率上的差异,并给出 GPT-2、BERT、OpenWebText 等实验结果。它适合关注高效模型结构、GPU 计算映射和线性层替代方案的研究者与工程实践者,尤其有助于理解“结构化算子如何同时兼顾可表达性和硬件友好性”。

科研议题Stanford Hazy Research

Zoology (Blogpost 0): Overview

文章概述了 Stanford Hazy Research 对高效大模型架构的系列工作:先比较 Transformer 优化路线与一批子二次方替代架构(如 Hyena、H3、RWKV、Mamba 等),再分析这些模型在总体困惑度接近的同时,为何在关联回忆(AR)任务上明显落后。作者指出,AR 解释了大部分困惑度差距,而且它与 in-context learning 等能力相关,因此只看 next-token perplexity 会低估架构差异。进一步实验表明,门控卷积类模型完成 AR 往往需要更多维度,暴露出表达效率问题。基于这些观察,作者提出新的 Based 架构,目标是在保持子二次方复杂度的同时弥补 AR 缺口。该文更像系列总览与问题框架,具体实现和完整实验需结合后续两篇及报告阅读。

收录依据很明确:文章基于一组基准实验比较多类高效 LLM 架构,并给出“关联回忆”这一关键差异来源及其与能力迁移的联系。适合研究者、做模型选型的工程师以及关注长序列/高吞吐推理的读者,用来理解为何不能只看困惑度,以及子二次方架构的主要风险在哪里。

科研议题Stanford Hazy Research

Zoology (Blogpost 1): Measuring and Improving Recall in Efficient Language Models

这篇文章围绕高效语言模型的“召回能力”展开,比较了 Hyena、H3、RWKV 等门控卷积架构与 Transformer 在真实语言建模中的差距。作者在 17 个从 70M 到 1.4B 参数规模的模型上做统一训练与评测,发现总体困惑度差距中有超过 82% 来自需要联想式回忆的 token 子集,而不是一般语料位置。为解释这一现象,文章提出 MQAR 这类合成任务,证明门控卷积要随着序列长度增加模型维度才可维持召回能力,而注意力则不需要这种扩展。理论部分用多项式/电路复杂度视角说明了这一尺度差异,并给出可通过输入依赖的选择式稀疏注意力缩小差距的方向。文章的边界也很明确:结论主要针对特定高效架构与召回类能力,且合成任务虽能解释现象,但仍是对真实语言分布的近似。

文章直接给出多模型实证、AR 切片分析和 MQAR 理论解释,证据链完整,不是泛泛而谈的架构点评。适合做高效语言模型、注意力替代方案和长序列召回问题的长期参考,也能迁移到新架构评测与合成基准设计中。

科研议题Stanford Hazy Research

Zoology (Blogpost 2): Simple, Input-Dependent, and Sub-Quadratic Sequence Mixers

这篇文章介绍了 Stanford Hazy Research 提出的 Based 序列混合器,并说明其设计动机来自先前对“联想回忆”能力的误差分析:许多亚二次模型在局部建模上表现尚可,但在需要根据上下文检索目标词的 AR 任务上明显落后于注意力。作者将结构拆成短门控卷积和“spiky”线性注意力两部分,用短卷积负责局部依赖,用泰勒展开近似指数函数的线性注意力模拟 softmax 的尖锐匹配,从而保留输入依赖的全局检索能力。文中还给出统一视角,把这两类模块解释为同一种广义门控卷积,并强调该结构可以保持完全亚二次、训练稳定且不需要 KV-cache。实验上,Based 在 Pile 上的困惑度优于强 Transformer 基线,并在合成 AR 任务和 1B 模型推理吞吐上取得显著收益,但当前内容仍属于博客预览,部分结论需要结合后续论文与更大规模实验进一步验证。

收录价值明确:文章同时给出了问题诊断、结构设计、理论解释、合成任务验证和真实语言模型吞吐评测,证据链比较完整。适合研究序列建模、LLM 架构和高吞吐推理的读者参考,但需注意它是博客预览,部分性能与泛化结论仍应以正式论文为准。

科研议题Stanford Hazy Research

FlashFFTConv: Efficient Convolutions for Long Sequences with Tensor Cores

本文介绍了 Stanford Hazy Research 提出的 FlashFFTConv:一种面向长序列卷积的 GPU 加速算法,目标是解决传统 FFT 卷积在 ML 场景中“渐近复杂度好但实际很慢”的问题。作者指出,现代 GPU 上真正的瓶颈已从算术转向内存 I/O,而且 Tensor Core 的矩阵乘远快于通用浮点运算,因此经典 FFT 实现难以充分利用硬件。FlashFFTConv 通过 Monarch/Bailey 四步分解把 FFT 卷积改写成一系列矩阵乘与少量点操作,并用递归分解在 SRAM 限制下尽量融合多步计算,兼顾 FLOPs 与 I/O。实验显示它在 PyTorch 基线下可获得最高 7.93x 的卷积加速,端到端提升最高 4.4x;在长序列上,性能可接近甚至超过 FlashAttention-v2,并在部分模型上达到约 62% MFU。文章也说明了适用边界:短序列更依赖较低阶分解,序列更长时高阶分解才体现优势,因此算法效果强烈依赖序列长度和 GPU 形态。

推荐收录,因为文章把“FFT 卷积为什么在 GPU 上跑不快”这一问题拆成了硬件带宽、Tensor Core 利用率和 SRAM 约束三个直接证据,并给出可实现的 Monarch 分解方案与性能数据。适合做长序列模型、CUDA/ML 系统优化和算子设计的参考,尤其对需要在工程上平衡 I/O、FLOPs 与 kernel 融合的读者有可迁移价值。

科研议题Stanford Hazy Research

A Paradigm Shift in ML Validation: Evaluating Workflows, Not Tasks

文章提出一个面向应用机器学习的验证范式转变:不再只评估单个任务指标,而是评估用户完成端到端工作流的效果。作者以医疗影像为例说明,许多下游决策依赖上游采集、重建、分割和分析等多个环节,任务级基准往往与临床真正关心的结果相关性很弱。文中进一步给出工作流中心数据集与基准的两个原则:数据要覆盖工作流各阶段,并能衡量用户相关结局;并以 SKM-TEA 数据集展示如何把原始数据、重建、标注和生物标志物评估串成完整流程。文章也指出落地难点,包括工作流不公开、不标准、标注成本高以及用户体验难量化。最后给出开放工作流、降低使用门槛、展示真实下游收益和构建交互式工具等推进路径。

推荐收录,因为文章明确论证了“从任务验证转向工作流验证”的必要性,并给出 SKM-TEA 这类数据集的具体实践证据。适合做应用机器学习、领域基准和评测体系设计的参考,尤其对医疗 AI 与研究型 benchmark 构建很有迁移价值。

科研议题Stanford Hazy Research

Embroid: Correcting and Improving LLM Predictions Without Labels

这篇文章介绍了 Embroid:一种在没有标注数据的情况下纠正和提升提示式语言模型预测的方法。核心思路不是直接把 embedding 的“平滑性”用于给无标注样本传播标签,而是反过来用样本在邻域中的预测一致性来检查模型是否出错。作者在多个 embedding 空间中分别取近邻,把邻域内的预测分布与全局分布比较,再用弱监督方法 Flying Squid 融合这些“投票”,从而得到更稳健的最终预测。实验显示,该方法在 95 个任务上大多能提升原始 prompt 性能,在 GPT-JT 和 GPT-3.5 上也有稳定收益,并且可与 AMA、chain-of-thought 和示例选择等提示策略叠加。其边界在于效果依赖 embedding 空间的平滑性、原始 prompt 质量以及任务是否存在可被近邻捕捉的局部一致结构。

有明确研究问题、方法设计和大规模实验结果,不是泛泛的博客解读。适合做标签稀缺场景下的 LLM 校正、近邻一致性判断和弱监督融合的参考,但也要注意它依赖 embedding 平滑性,任务不满足时收益会下降。

科研议题Stanford Hazy Research

Monarch Mixer: Revisiting BERT, Without Attention or MLPs

这篇文章介绍了 Monarch Mixer(M2-BERT)这一新架构,目标是在不使用标准 Transformer 注意力和全连接 MLP 的情况下,仍保持 BERT 级别的效果。作者用 Monarch 矩阵统一替代序列混合与维度混合:前者借鉴 H3/Hyena 的卷积式长程建模,后者用块对角结构替换 MLP,从而把序列长度和模型宽度两侧都做到次二次复杂度。实验部分在 C4 上以 128 长度预训练,80M 与 110M 两个版本在 GLUE 上分别达到 79.9 和 80.9,接近或超过标准 BERT-base,同时在 A100 上长序列吞吐也明显优于 HuggingFace BERT 和 FlashAttention 版本。但文章也明确指出,这仍是早期结果,训练配方、门控设计和长序列能力都还有较大探索空间,结论更适合作为架构方向与初步证据,而非最终定论。

文中不仅提出了用 Monarch 矩阵替代注意力和 MLP 的具体机制,还给出了 GLUE 指标、参数量和吞吐量的对比证据,属于可长期参考的架构研究材料。适合关注高效模型、长序列建模和 Transformer 替代方案的研究者与工程师,但需注意它仍处早期,长序列与训练配方尚未完全验证。

技术文章Stanford Hazy Research

FlashAttention-2: Faster Attention with Better Parallelism and Work Partitioning

这篇文章介绍了 FlashAttention-2 的设计目标:在不做近似的前提下,继续压缩 Transformer 注意力的时间与显存开销,并把算子吞吐尽量逼近高效 GEMM。作者先回顾 FlashAttention 的分块、重算与在线 softmax 思路,再指出其瓶颈主要来自线程块与 warp 的工作划分不够理想,以及非矩阵乘法操作比例偏高。FlashAttention-2 通过减少 rescaling、边界判断和 causal mask 等非 matmul FLOPs,并将并行维度扩展到序列长度,从而在长序列、小 batch 场景下显著提升 GPU 利用率。与此同时,新版把 warp 之间的“sliced-K”改成更少通信的“sliced-Q”划分,减少 shared memory 读写与同步开销。文章还说明其支持更大的 head dimension、MQA/GQA,并在 A100/H100 上给出端到端训练与注意力基准,体现出该方法对长上下文训练和推理都有直接收益,但仍依赖具体 GPU 架构与实现细节。

文中明确给出算法改写、并行划分和 warp 通信优化的具体证据,并配有 A100/H100 与端到端训练基准,属于可复用的高质量系统/模型加速资料。适合做 GPU kernel 优化、注意力实现和长上下文训练的参考,但其收益高度依赖硬件与实现路径,迁移时需重新验证。

科研议题Stanford Hazy Research

HyenaDNA: learning from DNA with 1 Million token context

这篇文章介绍了 HyenaDNA:一个面向基因组序列的长上下文基础模型,采用单碱基粒度 token 化与 Hyena 算子堆叠,在人类参考基因组上预训练,最长上下文可达 100 万 token。作者强调基因组任务同时需要超长上下文和高分辨率表示,因为单个碱基变化就可能影响调控与疾病表型。相比 Transformer,HyenaDNA 以 N log N 复杂度处理长序列,在 100 万 token 规模下训练/推理显著更快,并在 28 个下游任务中取得 23 个 SOTA。文章还展示了长上下文带来的新能力,包括基于软提示的 in-context learning、instruction fine-tuning,以及超长范围物种分类和染色质预测。其边界在于:方法主要针对 genomics 这一超长离散序列场景,纯 ICL 与标准微调之间仍有明显差距。

收录价值明确:文中给出了 100 万 token、160x 训练加速、28 项任务、23 项 SOTA 等直接证据,不只是概念讨论。适合研究长上下文模型、序列建模或 AI for Science 的读者参考,但需要注意其结论强依赖基因组场景,迁移到通用 NLP 仍有边界。

科研议题Stanford Hazy Research

Why is in-context learning lower quality than fine-tuning? And…what if it wasn't?

这篇文章围绕“为什么上下文学习(ICL)通常不如微调”展开,作者先指出:用同样少量样本在冻结表征上训练一个分类器,效果可显著超过直接 ICL,说明差距未必来自知识缺失,而更可能来自推理方式不够理想。为验证这一点,作者提出用与下游任务无关的合成高斯逻辑回归任务训练一个任务无关推理模块 TART,试图教模型掌握更抽象的概率推断能力。实验显示,这种做法能把 NLP 二分类任务上的 ICL 与微调差距缩小到约 3%,并可迁移到不同模型家族、不同规模,甚至跨到图像和语音任务。文章还强调 TART 在上下文长度上更高效,能用更少 token 容纳更多样本,从而缓解传统 ICL 的长度限制。其结论是:ICL 的质量瓶颈可能部分来自通用推理能力不足,而不是特定任务知识不足,但当前结果主要建立在合成任务、分类场景和有限模态迁移上,泛化边界仍需进一步验证。

文中给出了明确的实验对照:冻结表征分类器优于 ICL、合成逻辑回归训练可提升 ICL、TART 还能跨模型和跨模态迁移,证据链完整。适合关注大模型推理、测试时计算和微调替代方案的研究者或工程团队参考,但需注意其主要验证仍集中在二分类与合成推理任务上。

科研议题Stanford Hazy Research

The Safari of Deep Signal Processing: Hyena and Beyond

这篇文章系统梳理了面向超长序列的模型设计思路,以 Hyena 为核心,说明如何用可学习的非线性序列处理器替代 Transformer 的二次复杂度注意力。作者先回顾 dense attention、linear attention、AFT 和 RWKV,指出这些方法分别在全局记忆、精度或参数化上存在局限。随后给出 Hyena 的分解:用短卷积提取局部变化,用长卷积或状态空间式归纳实现长程记忆,再通过门控完成信息混合,并强调这些模块可由快速线性算子实现近线性复杂度。文章还讨论了训练与推理效率、FFT 在现代硬件上的瓶颈、Monarch 矩阵等结构化替代方案,以及在关联检索和 100 万长度 DNA 预训练中的初步结果。整体结论是:Hyena 及其“safari”家族在超长上下文上有潜力,但性能、硬件映射和投影压缩仍存在明显权衡,属于仍在快速演化的研究方向。

推荐收录,因为文章不仅介绍了 Hyena,还把长序列建模拆解为投影、归约、归一化和门控四个可复用部件,并给出与 Attention、RWKV、S4 等方法的明确对比。适合研究长上下文、序列建模和高效推理的读者参考,但需注意它仍是研究博客,部分结论和实现取舍属于探索阶段。

个人心得Stanford Hazy Research

The Eroding Technical Moat of AI and the Power of Open Source

文章围绕“AI 技术护城河正在被侵蚀”这一判断展开,作者认为大模型本身的能力正快速商品化,而真正稀缺的优势将转向搜索、产品分发和具体服务形态。作者结合 RedPajama、FlashAttention、长序列模型、Vicuna/Alpaca 等开源复现案例,强调学术界与开源社区已经实质性推动了 AI 进展,而不是少数大厂单独完成。文中还以 TensorFlow、TPU 和 DAWNBench/MLPerf 为例,指出封闭的全栈方案往往难以在社区生态中长期占优。作者进一步讨论 Transformer、Attention 等核心思想的学术来源,反对把 AI 成果简单叙述为单一公司“独立发明”。整体结论是:AI 的价值中心将从“谁拥有模型”转向“谁能以开放协作把能力做成便宜、安全、可用的服务”,但文章也带有较强立场,缺少系统性数据支撑。

推荐收录,因为文章直接讨论了 AI 领域技术壁垒、开源生态和核心算法来源,且用 TensorFlow、MLPerf、FlashAttention 等具体例子支撑观点。适合关注 AI 产业格局、开源策略和研究社区协作方式的读者参考,但需注意它是立场鲜明的评论,不是严格实证分析。

科研议题Stanford Hazy Research

In The ChatGPT Era, Your Data is More Valuable Than Ever

这篇文章讨论 ChatGPT 时代的 AI 竞争重心如何从“模型”转向“数据”,核心判断是通用基础模型会逐步标准化,而真正稀缺的资产将变成企业与用户交互过程中沉淀的数字痕迹。作者认为,随着开源模型和可复用训练配方普及,训练同等级模型的门槛下降,下一阶段的壁垒不在更大参数量,而在如何选择、清洗、验证并低成本利用私有数据。文章进一步提出“GPT-You”和“EnterpriseGPTs”的趋势,预测 copilots 会渗透邮件、设计、数据管道、财务等流程,并推动“先验证、再构建”的软件交付方式。结尾强调,幻觉、缺失数据和结构化数据高精度建模仍是难点,因此数据质量、验证工具和数据炼制能力会重新变得关键。整体判断具有较强方向性,但明显带有趋势推演和观点表达色彩,部分结论仍依赖作者对行业演化的乐观预期。

文章直接围绕基础模型开源化、企业数据资产价值和数据炼制工具展开,给出了可验证的行业判断,而不是泛泛谈论大模型热点。适合关注 AI 平台、MLOps、企业智能化和数据战略的读者参考,但需要注意其结论偏趋势研判,更多是方向启发而非实证研究。

技术文章Stanford Hazy Research

Understanding the Ingredients in ChatGPT is Simpler Than You Think

这篇文章用一个非常简化但足够准确的视角解释 ChatGPT 的基本组成:生成式预训练 Transformer。作者先从“预测下一个词”这一训练目标入手,说明模型如何通过海量文本学习补全、生成与泛化能力,而不是为单一任务单独设计。接着文章强调 Transformer 的作用在于把历史上下文压缩成可用于预测的表示,从而在新场景中表现出一定的抽象和推理能力。文章还指出,当前 AI 系统的核心输入其实是数据,而不是复杂的手工流程;对于企业或个人场景,最关键的变化在于用更贴近目标环境的数据把通用模型专门化。它同时提醒读者,这种方法在质量、去重、数据比例和领域适配上仍有明显边界,通用模型并不天然等于高效的专用模型。

文章直接拆解了 GPT/ChatGPT 的训练管线、Transformer 作用以及“数据决定模型行为”的核心判断,适合想建立正确心智模型的技术读者。它的可迁移价值在于帮助理解通用模型如何做领域适配,但内容偏概念科普,缺少实验细节和实现层面的深入分析。

科研思考Stanford Hazy Research

Ask Me Anything: Leveraging Foundation Models for Private & Personalized Systems

这篇文章围绕“基础模型能否支撑私有化、个性化系统”展开,讨论了隐私、质量、成本三者之间的张力。作者指出,传统方案主要依赖联邦学习或在少量私有数据上微调公有模型,但前者往往需要牺牲部分隐私,后者在小数据场景里又很脆弱。文章进一步提出,基础模型的上下文学习能力可以把个性化任务转移到推理阶段,从而在不暴露私有数据的情况下完成本地适配。作者用 AMA、Evaporate 和基于检索的公开/私有混合数据系统等工作说明,开放模型的提示策略、推理成本压缩和多数据分布检索,都是推动私有个性化落地的关键方向。文章也明确了边界:现阶段强能力模型多为大规模闭源模型,某些任务仍依赖海量事实记忆,而训练数据的隐私与合法性问题仍未彻底解决。

文章直接给出了把基础模型用于私有个性化系统的研究框架,并用 AMA、Evaporate 和多隐私域检索的实证结果支撑观点,不是泛泛而谈。适合研究者、隐私计算/LLM 系统方向读者,以及需要判断“本地推理、检索与隐私边界”可迁移性的工程团队参考。

科研议题Stanford Hazy Research

Batch computing and the coming age of AI systems

这篇文章把基础模型应用场景区分为有人在环的交互式系统和无需人工逐条介入的批处理系统,强调后者覆盖医疗、金融、科学与供应链等更大规模的社会计算任务。作者指出,过去这类 AI 批处理应用往往依赖大量领域专家与 PhD 级投入,而基础模型有机会显著降低构建门槛并扩大可用性。文章进一步总结了三类关键研究问题:如何提升高吞吐推理效率、如何重新设计任务分解以获得更好的质量/成本权衡、以及如何建立适合基础模型的评测与错误分析流程。文中以 FlexGen、Evaporate 和 Meerkat 为例,分别展示了离线推理吞吐优化、用代码生成替代直接抽取、以及面向基础模型的新型验证工具。其核心结论是,基础模型真正改变世界的潜力不只在聊天和创作,而在于可靠、低成本地接管大规模批处理工作流,但前提是系统效率和评估体系都要同步升级。

推荐收录,因为文章明确提出了“批处理 AI 系统”这一长期重要的研究与工程方向,并给出了 FlexGen、Evaporate、Meerkat 等直接证据说明具体可行的改进路径。适合关注 AI 系统、离线推理和评测方法的研究者与工程师阅读,其可迁移价值在于帮助读者重构大模型应用的成本、吞吐与验证思路。

科研议题Stanford Hazy Research

From Deep to Long Learning?

这篇博客系统梳理了“把序列建得更长”这一研究方向,核心论点是:Transformer 的注意力在长度上是二次复杂度,若要支持长上下文、多模态和长代码等场景,就需要近线性时间的序列模型。文章按时间线回顾了 Long Range Arena、S4、H3 到 Hyena 的演进:S4 通过结构化状态空间模型把长程依赖建模成本降到 O(N log N);H3 通过门控与少量注意力层补齐语言建模性能;Hyena 进一步用隐式参数化卷积和更多门控替代最后的注意力层,尝试实现全程近线性扩展。作者还讨论了 FFT 在现代硬件上的效率瓶颈,以及将其改写为矩阵乘法、甚至学习变换矩阵的思路,以更贴合 GPU 计算单元。文中给出若干小型与中型实验,显示 Hyena 在 Pile 子集上的困惑度可接近或达到 Transformer 基线,但整体结论仍主要建立在初步实验与特定任务上,是否能稳定迁移到更大规模语言模型仍需后续验证。

收录理由很直接:文章明确给出了从 Transformer 到 SSM、H3、Hyena 的技术演进、复杂度分析和实验结果,不是泛泛而谈长上下文愿景。适合做长序列建模、模型结构替代和计算效率权衡的长期参考,但读者也应注意它是研究博客,结论主要来自初步实验而非完整论文定论。

科研思考Stanford Hazy Research

Is AI Rare or Everywhere?

文章围绕“AI 是稀缺还是无处不在”展开,讨论 foundation models 是否真的依赖一套极其脆弱的配方。作者认为当前模型的可复现性比预想更强:不同团队在足够时间尺度上性能差距会收敛,开源实现也能迅速复制并改进,这让“复制危机”并不明显。接着文章追问 transformer 是否真是唯一关键路径,并以 Hyena 这类无注意力架构为例,说明语言建模可能存在多条可行路线,而且还能借助信号处理等既有理论。作者进一步推演了这种判断对新架构设计、样本效率、测试时计算、模型安全与开放生态的影响。整体是面向研究方向的反思性随笔,强调问题值得深入,但不少结论仍是启发式判断而非严格实验结论。

文章直接讨论 foundation models 的可复现性、transformer 是否必要,以及 Hyena 这类替代架构的意义,属于明确的研究反思而非泛泛评论。适合做研究选题启发、架构比较和生态判断,但其中不少推断仍偏设想,读者应把它当作问题框架而非定论。

科研思考Stanford Hazy Research

First-Mile vs. Last-Mile AI Systems in the Era of Foundation Models

文章提出“基础模型是 first-mile,传统机器学习是 last-mile”的框架,用来解释两类 AI 系统在目标上的差异:前者擅长人机交互、探索、改写和搜索式任务,后者更适合需要严格正确性、稳定质量和可预测成本的生产流水线。作者强调,当前基础模型在“通用性”上进步明显,但在细粒度指标、可靠性和误差收敛上仍远不如专用模型,尤其从 85% 提升到 99% 这种跨数量级改进并不容易。文章进一步类比搜索与数据库长期共存的历史,说明基础模型未必会替代传统系统,而更可能与之分工协作。作者还指出,推动基础模型进步的关键仍是数据:RLHF、指令微调、弱监督和数据集工程本质上都是在用数据“编程”。文末给出若干研究方向,包括基础模型+弱监督、长上下文、推理效率、数据分析工作流与 FMOps,但也承认这些方向的边界、成本和统一路径仍未被证明。

这篇文章直接给出“first-mile/last-mile”的系统分工框架,并用搜索/数据库类比、误差数量级和数据中心化实践支撑论点,适合做 AI 系统设计和研究方向判断的长期参考。它的价值不在具体实现,而在帮助读者把基础模型、弱监督、数据工程与可靠性要求放到同一张图里理解。

科研议题Stanford Hazy Research

Hyena Hierarchy: Towards Larger Convolutional Language Models

这篇文章介绍了 Stanford Hazy Research 提出的 Hyena 层,用长卷积与逐元素门控替代标准注意力,以在保持语言建模质量的同时把时间复杂度从二次降到次二次。作者先从注意力的“数据控制”特性出发,指出早期无注意力替代方案在困惑度和 in-context learning 上存在明显差距,因此设计了一组合成字符串任务来寻找结构缺口,并据此迭代滤波器参数化和输入投影。实验显示,Hyena 在较短序列上可与 FlashAttention 竞争,在长上下文下显著更快,并在 The Pile、PG-19、SuperGLUE 等任务上缩小了与 Transformer 的差距。文章还给出在视觉任务中的初步结果,表明这种基于信号处理的设计可能具有跨模态迁移性。其边界也很明确:当前优势主要体现在长序列和特定参数规模,且仍依赖精心设计的合成基准与参数化选择,离全面替代注意力还有距离。

推荐收录,因为文章直接给出了 Hyena 的核心机制、合成任务驱动的设计方法,以及与 FlashAttention、Transformer 的速度和困惑度对比证据。适合关注长上下文建模、注意力替代结构和高效序列模型的研究者参考;同时也提示了其对参数化与任务选择较敏感的风险。

工程实践Stanford Hazy Research

Meerkat and the Path to Foundation Models as a Reliable Software Abstraction

这篇文章提出一个核心判断:随着基础模型进入日常工作流,技术团队需要的不只是模型 API,而是能把非结构化数据、模型输出和人工反馈放在同一界面里的交互式数据系统。作者指出,传统 DataFrame 擅长结构化数据,但面对图片、PDF、网页、音频等对象时,单靠代码既难以验证模型结果,也难以高效标注和迭代。为此他们设计了 Meerkat:一种可存储复杂对象及其向量表示的异构 DataFrame,并通过 Python 内嵌 GUI 让搜索、填充、错误分析等 FM 操作可视化、可交互。文章用艺术图像分析、PDF 信息抽取和图像分类误差分析三个 demo 说明其工作流优势,但整体仍偏系统原型展示,缺少大规模基准和严谨定量评估。

收录价值在于它把“基础模型如何作为软件抽象使用”具体落到数据结构、交互界面和人机协同反馈机制上,而不是停留在概念讨论。适合做 AI 工程、数据工具和交互式系统设计的参考,但也要注意它更像原型与理念展示,缺少完整性能与可扩展性证据。

科研议题Stanford Hazy Research

Simple Long Convolutions for Sequence Modeling

这篇文章讨论序列建模中一种更简单的基线:直接把卷积核参数化为与输入序列同长度的长卷积,并用 FFT 将计算复杂度从 O(N^2) 降到 O(N log N)。作者先指出,朴素长卷积在 Long Range Arena 上明显落后于 S4,主要问题是学到的卷积核在时域过于噪声、频域也不够平滑。为此,他们引入一个很简单的 Squash 正则化,对核权重做阈值收缩,从而得到更稀疏、平滑的核,并把 LRA 准确率提升到与 S4 持平。文章还展示该方法在图像分类、文本建模和脑 fMRI 任务上也有不错泛化,尤其是把 H3 中的 SSM 替换为卷积后,H3-Conv 在 PILE 上接近 H3 并优于 Transformer。与此同时,作者也明确了局限:这种简化版并不具备 SSM 的隐藏状态缓存、参数与长度解耦以及多分辨率扩展等优势。

推荐收录,因为文章给出了从朴素长卷积、问题诊断到 Squash 正则化改进的完整研究链条,并用 LRA、文本建模等实验直接证明了方法有效。适合做序列模型、卷积替代 SSM、以及实验设计与消融分析的参考,也能帮助读者理解何时“更简单的参数化”足以达到竞争性能。

个人心得Stanford Hazy Research

AI's Linux Moment: An Open-Source AI Model Love Note

这篇文章把 2023 年前后的开源 AI 生态类比为“AI 的 Linux 时刻”,核心观点是:AI 不再只是封闭模型和商业 API 的竞争,而是逐步演化为由开源模型、数据集、算力与工具共同驱动的基础设施层。作者用 Stable Diffusion、GPT-J、LAION、Hugging Face、HELM 等例子说明,开源社区正在通过模型仓库、数据集库、基准评测和高质量实现快速放大影响力。文章进一步指出,AI 相比 Linux 时代更具可参与性,因为数据比代码更容易贡献,且模型更贴近日常应用,因而可能形成更大、更具代表性的社区。与此同时,作者也承认企业会围绕自有数据构建专属模型,未来更可能出现“多模型并存”而非单一垄断。文章的边界在于它主要是面向趋势判断和价值倡议,缺少定量证据,但对理解开源 AI 生态的演化方向很有参考价值。

推荐收录,因为文章直接讨论了开源模型、数据集、算力与工具如何共同塑造 AI 基础设施,并用 HELM、Stable Diffusion、LAION 等实例支撑判断。适合关注 AI 生态、开源社区和研究平台建设的读者;其可迁移价值在于提供了判断“开放模型时代”机会与边界的分析框架。

科研议题Stanford Hazy Research

H3: Language Modeling with State Space Models and (Almost) No Attention

这篇文章讨论了状态空间模型(SSM)在语言建模中为何长期落后于注意力机制,并提出用“是否具备上下文学习能力”来解释两者差距。作者先用合成任务 associative recall 作为探针,证明普通 SSM 难以在序列中同时完成“记忆历史 token”和“把当前 token 与历史 token 做比较”,而注意力可以轻松完成。基于这一分析,文章提出 H3 层:用对角矩阵 SSM 负责全局记忆,用移位矩阵 SSM 形成可比较的上一时刻状态,再通过乘性交互完成匹配,从而显著提升召回能力。实验表明,H3 在 OpenWebText 上几乎替代全部注意力层即可接近 Transformer,加入少量注意力后还能超越基线;进一步扩展到 2.7B 参数时,在 Pile 上各规模都能匹配或优于同类 Transformer,并伴随推理加速。文章的边界在于,它主要围绕特定的合成归纳任务来解释能力缺口,结论更适合作为 SSM 设计与混合架构的研究依据,而不是对所有长序列任务的最终定论。

收录依据很明确:文章用 associative recall 解释 SSM 与注意力的能力差异,并给出 H3 的结构设计、对比实验和 2.7B 规模结果。适合做序列模型、LLM 架构和 SSM 研究的参考,但读者也应注意其结论高度依赖特定合成任务与混合注意力设置。

科研议题Stanford Hazy Research

FlashAttention: Fast Transformer Training with Long Sequences

这篇文章介绍了 FlashAttention 面向长序列训练的改进版本:在保持精确注意力、没有近似的前提下,通过 tiling、重计算和更细粒度的并行,把注意力的显存访问从二次复杂度降到线性,并进一步优化超长序列场景。作者指出,原版 FlashAttention 主要按 batch 和 head 维度并行,在长上下文但 batch 很小、head 数有限时会出现 GPU 并行度不足,因此新增了沿序列长度维度的并行。前向传播按行分块,反向传播按列分块,并借助 atomic operations 汇总梯度,从而减少 worker 间通信并提升吞吐。基准结果显示,在 8K 序列长度下,相比 PyTorch 和 Megatron-LM 实现可达 2.2-2.7 倍加速,端到端训练效率最高达 175 TFLOPs/sec/A100。实验还表明,把上下文从 2K 提升到 8K 能稳定改善困惑度和长程任务准确率,但收益主要出现在长序列、小批量训练场景。

推荐收录,因为文章给出了明确的算法改造、并行划分方式和可量化基准,不只是宣讲性能提升,而是解释了为什么长序列下原方案并行不足、如何改、改完后提升多少。适合研究注意力加速、长上下文训练和 GPU kernel 优化的读者,尤其对需要把理论收益落到真实训练吞吐的工程/研究工作很有参考价值。

科研议题Stanford Hazy Research

Data Wrangling with Foundation Models

这篇文章介绍了斯坦福 Hazy Research 将基础模型用于结构化数据清洗与整合的研究,目标是把 schema matching、entity matching、错误检测、缺失值补全和数据转换等传统数据 wrangling 任务统一起来。作者先把表格行和字段序列化为文本,再把各类结构化任务改写成自然语言问答式提示,从而直接调用 GPT-3 进行 zero-shot 或 few-shot 推理。实验显示,即使不做专门微调,模型在多个基准上也能取得可用结果;仅用 10 个人工挑选示例,就能在 14 个数据集中的 11 个上追平或超过既有方法。文章同时指出两类主要局限:小模型效果明显落后于大模型,而大模型推理成本高;提示格式和示例选择又十分脆弱,性能波动较大。整体上,这是一篇把 LLM 引入结构化数据处理流程的早期方法总结,适合关注数据管理、提示工程和 AI4DB 的读者参考。

文中给出了清晰的研究问题、方法设计和基准结果,尤其是“序列化表格+任务改写为生成式提示”这一直接证据,说明 LLM 可在结构化数据任务上产生可迁移价值。适合做数据工程、提示工程和 AI for Data Management 的入门参考,但也要注意其对模型规模和提示格式较敏感,落地时仍需评估成本与稳定性。

科研思考Stanford Hazy Research

How Foundation Models Changed our Work

这篇文章从斯坦福 Hazy Research 团队的视角,回顾 foundation models 如何改变他们的研究重心,尤其是围绕数据与系统的工作方式。作者将相关工作分成两类:一类是理解和改进基础模型本身,如 FlashAttention、S4、长序列建模和跨地域的去中心化训练;另一类是把 foundation models 作为数据工具,用于弱监督、数据探索、数据清洗与集成,以及隐私敏感场景中的新型学习方式。文章的核心判断是,FM 不只是更大的模型,而是在重新定义“如何编程数据”和“如何做研究”。不过它更像研究进展综述与方向宣言,缺少统一实验框架和系统性比较,适合把握研究趋势,不适合作为单点结论依据。

文章直接给出了 FlashAttention、S4、弱监督和数据清洗等具体研究线索,说明 foundation models 正在同时重塑模型、系统与数据工作流。适合做研究选题、方向梳理和跨领域方法迁移的读者,但需注意它是团队视角的阶段性总结,证据更偏方向性而非严格综述。

工程实践Stanford Hazy Research

Fast Stable Diffusion with FlashAttention + Diffusers

这篇文章介绍了将 FlashAttention 接入 HuggingFace Diffusers,以加速 Stable Diffusion 推理的工程实践。作者先解释 FlashAttention 的核心原理:在 A100 等现代 GPU 上,注意力计算的瓶颈更多来自显存读写而非算力,因此通过融合 matmul 与 softmax、采用 tiling 和自定义 CUDA kernel 来减少内存访问。随后给出一个不到 70 行的集成方案,并证明生成结果与原版 Diffusers 一致。基准测试显示,相比未优化版本可获得 3-4 倍吞吐提升,相比 Diffusers 0.4.1 仍有约 33% 提升,A100 上最高约 1.04 images/s,T4 上收益更明显。文章还指出该方法能降低显存占用、放大 batch size,但优势主要来自注意力路径,效果依赖具体 GPU 的内存系统和原始实现是否已优化。

推荐收录,因为文中同时给出原理解释、70 行级别的集成路径和可复现的 benchmark 结果,直接证明了 FlashAttention 在扩散模型推理中的工程收益。适合做 GPU 性能优化、生成模型推理加速和框架集成的参考,但读者也应注意其收益强依赖硬件与基线实现。

科研议题Stanford Hazy Research

Foundation Models are Entering their Data-Centric Era

这篇文章讨论基础模型进入“数据中心时代”的判断:随着模型架构和工程逐步商品化,真正拉开差距的会越来越是数据的描述、组织和利用方式。作者先回顾“garbage in, garbage out”和“参数越多越易过拟合”这两条旧经验,指出在基础模型和大模型时代,它们都不再足够解释实际效果。文章以 Snorkel 的弱监督和数据中心 AI 为例,强调知识注入并不只发生在训练前的数据清洗,也可以通过噪声数据建模、test-time prompt 设计、检索与上下文构造来完成。作者进一步提出,探索阶段应通过更好的数据策划与测试时计算让通用模型更可用,落地阶段则应把基础模型输出蒸馏成面向私有数据和特定任务的专用模型。文中判断带有明显研究观点和推测性,未给出严格理论证明,但对理解大模型应用开发的边界、数据价值与迁移路径很有参考意义。

文章直接以 Snorkel、弱监督、Chinchilla 和 AMA prompting 等案例说明:当模型能力趋于可得时,数据策划和 test-time 数据组织才是主要差异来源。适合关注大模型研究趋势、数据中心 AI 和基础模型落地的读者;需要注意的是,它更多是研究视角的判断而非严格实验论文。

科研议题Stanford Hazy Research

Simplifying S4

这篇文章以“简化 S4”为目标,从经典线性时不变系统和状态空间方程出发,逐步把连续时间 ODE 转写为积分形式,再用离散采样和矩形求积导出可实现的卷积/递推计算。作者强调 S4 的核心并不神秘,而是把电路与控制理论中的老问题重新用于深度学习:既要稳定,又要高效,还要具备足够表达能力。文中重点解释了为何应让特征值位于左半平面、为何可用复共轭对把矩阵近似为对角形式,以及如何把隐藏状态消去,只预计算长度相关的 kernel 来提升批量训练效率。最后还讨论了初始化如何覆盖多尺度记忆,并补充了零阶保持下的更精确离散化。整体上这是面向 S4/S4D 的机制拆解与实现导向说明,但对更一般非对角 SSM 和严格数值分析仍较简化。

收录依据很明确:文章给出了 S4 从连续系统到离散卷积、从稳定性约束到高效实现的完整推导,而不是泛泛介绍模型。适合研究序列建模、长程依赖或状态空间模型的读者参考;需要注意其结论建立在教程式简化假设上。

科研议题Stanford Hazy Research

Can Longer Sequences Help Take the Next Leap in AI?

这篇文章讨论了“序列长度”作为深度学习新的规模维度,指出 Transformer 虽然强大,但在长输入上受限于二次复杂度、训练不稳定和长程依赖建模困难。作者认为,更长上下文不仅能提升文本、图像等现有任务,还可能催生新的能力,例如更强的 in-context learning、长篇内容生成,以及对时间序列、音视频和多模态数据的自动学习。文中重点介绍了两条推进路径:FlashAttention 通过 IO-aware 设计减少 GPU 内存读写,使 Transformer 能处理更长序列;S4 则借助结构化状态空间模型和初始化技巧,天然适配长序列训练。作者用 Long Range Arena 和 Path-X 等基准说明,单纯拉长序列已能带来可观增益,甚至把部分任务从随机水平提升到显著高于随机。整体上,这是一篇面向研究与工程交叉读者的方向性综述,优点是抓住了长上下文的核心瓶颈,但仍以研究愿景和早期结果为主,距离通用解决方案还有边界。

文章直接给出长序列为何重要的研究证据,并用 FlashAttention、S4、LRA/Path-X 的结果说明可迁移的方法与收益。适合关注长上下文、注意力优化和序列建模的研究者与系统工程师;需要注意它偏研究博客,结论更像方向判断而非完整定论。

科研议题Stanford Hazy Research

Advances in Understanding, Improving, and Applying Contrastive Learning

这篇文章是 Stanford Hazy Research 对对比学习研究进展的综述开篇,先解释对比学习通过拉近正样本、推远负样本来学习表征,并指出 SimCLR、CLIP、DALL·E 2 等方法体现了它在视觉和多模态中的强大效果。文章重点梳理了“为什么有效”的两类理论解释:一类从几何结构出发,讨论 alignment、uniformity、类塌缩和简单单纯形等表征性质;另一类从数据增强和潜在子类出发,分析增强如何连接语义近邻并支撑下游分类泛化。作者还提到硬负样本采样、增强重叠条件等改进思路,为后续提升监督式对比学习的迁移性和鲁棒性埋下伏笔。文章的价值在于搭建研究地图,但它本身是综述性博客,不提供完整实验细节或原始方法实现。

收录理由很明确:文章系统梳理了对比学习的主流理论解释,并引用了多篇关键工作,适合作为理解该方向研究脉络的入口。对做表示学习、监督式对比学习或相关论文阅读的读者有直接参考价值,但它偏综述而非原始实验论文。

科研议题Stanford Hazy Research

Improving Transfer and Robustness in Supervised Contrastive Learning

这篇文章围绕监督式对比学习如何同时提升迁移能力与鲁棒性展开,先从表示几何出发解释 SupCon 的“类塌缩”倾向为何对下游迁移不利。作者指出,单纯拉近同类、推远异类会让表示过于集中,而加入自监督式 InfoNCE 又可能带来更合适的几何“spread”。文章进一步提出两个关键问题:如何平衡表示空间的展开程度,以及如何打破类内置换不变性,否则同样的训练损失也可能对应很差的子类保留。基于这些分析,作者提出 Thanos:在 SupCon 上加入 class-conditional InfoNCE 和 class-conditional autoencoder,以同时获得适度展开和子群簇结构。实验显示它在 coarse-to-fine 迁移上平均提升 11.1 个点,在 worst-group robustness 上也优于已有方法,但结论主要针对监督式对比学习及其特定几何假设。

文章不仅解释了监督式对比学习的几何机制,还给出可检验的改进方案 Thanos,并用迁移与鲁棒性实验验证收益,证据链完整。适合做表示学习、对比学习和鲁棒性研究的长期参考,也便于迁移到需要子类保留与特征展开的任务中。

科研议题Stanford Hazy Research

TABi: Type-Aware Bi-Encoders for Open-Domain Entity Retrieval

文章提出 TABi(Type-Aware Bi-encoders),用于解决开放域实体检索中的长尾实体召回问题。作者指出,传统基于 InfoNCE 的双编码器容易受到实体流行度偏置影响,即使查询里出现了“team”“play”等上下文线索,模型也可能优先返回更热门的歧义实体。TABi 的核心不是把知识图谱类型当作文本特征输入,而是在对比学习损失中加入类型约束:同类型查询彼此拉近、异类型查询拉远,同时保留原始实体监督并用权重平衡两类信号。实验在 AmbER 和 KILT 上表明,该方法能在维持整体检索性能的同时显著提升稀有实体 top-1 准确率,并且在类型稀疏和类型噪声较高时仍具备一定鲁棒性。文章也说明其边界在于依赖知识图谱类型信号,主要收益集中在实体歧义消解和长尾检索场景。

推荐收录,因为文章给出了从“流行度偏置”到“类型约束对比学习”的完整方法链,并用 AmbER/KILT 的结果证明了对长尾实体的真实增益。适合做开放域实体检索、对比学习和知识增强检索的研究参考,但前提是有可用的类型标注或可靠的类型推断。

科研议题Stanford Hazy Research

An Introduction to Slice Discovery with Domino

这篇文章介绍了 Domino,用于自动发现机器学习模型在验证集上表现很差、但又具有语义一致性的“数据切片”。作者先指出传统做法如整体指标、PR 曲线和人工看错例,很难定位这些被隐藏的系统性错误,尤其在图像等未结构化数据中更难。Domino 采用三步流程:先用 CLIP 这类跨模态表示把图像与文本映射到同一空间,再用考虑标签与预测分布的混合模型寻找错误密集区域,最后生成自然语言描述以便人类快速理解切片含义。文章还提出了一套定量评测框架,通过人为诱导相关性、在多数据集上训练上千个模型来估计切片发现方法的失败率。实验结论显示跨模态嵌入显著优于单模态表示,而同时建模真实标签与预测值的切分算法也更有效;但 Domino 仍会漏掉相当多的有效切片,且在超大规模验证集和交互式分析方面仍有限制。

这篇文章有明确的论文背景、方法流程和量化评测证据,不是泛泛介绍概念;它还给出了跨模态表示、切片建模与失败率评估的可迁移结论。适合做模型诊断、数据集偏差分析和公平性/安全性评估的读者参考,但也要注意其当前方法仍会漏检不少切片。

科研议题Stanford Hazy Research

Pixelated Butterfly: Simple and Efficient Sparse Training for Neural Network Models

文章介绍 Pixelated Butterfly 稀疏训练方法,目标是在尽量不损失精度的前提下,降低大模型训练的计算量与显存开销。作者指出,现有动态稀疏掩码会带来额外开销,非结构化稀疏也难以在 GPU 上真正提速,因此提出静态且硬件友好的稀疏参数化。核心思路是将 butterfly 与 low-rank 结合,并通过 block butterfly 与 flat butterfly 把原本不利于并行的结构改造成块对齐、易实现的形式,再为各个矩阵乘层生成硬件感知的稀疏 mask。实验表明,该方法可让 MLP-Mixer、ViT 和 GPT-2 的从头训练获得约 2.0-2.5 倍 wall-clock 加速,准确率或困惑度基本不变,部分下游任务还有小幅提升。文章也明确了边界:它主要适用于 GEMM 驱动的网络与特定硬件假设,更像是稀疏参数化与软硬件协同设计的研究方案,而不是通用加速器。

文中直接给出 2.0-2.5 倍训练加速、精度基本不降等实验结果,并解释了为何要从动态稀疏转向静态、块对齐的硬件友好结构。适合关注稀疏训练、模型加速和软硬件协同的研究者或工程师参考;其可迁移价值在于提供了稀疏参数化设计思路,但适用范围受限于 GEMM 网络和特定硬件。

科研议题Stanford Hazy Research

Structured State Spaces for Sequence Modeling (S4)

这篇文章是 Stanford Hazy Research 对结构化状态空间模型 S4 的系列导读,重点解释它为何适合建模“连续、超长”的序列数据。作者先指出 Transformer 在中等长度依赖上表现强,但受固定上下文窗口限制,难以处理语音、视频、医疗传感和机器人等场景中的长距离依赖与连续采样特性。随后文章概述 S4 的核心定位:基于状态空间模型,兼具连续时间、递归和卷积三种表示,既能处理不规则采样和无界上下文,又能保持训练与推理效率。文中还给出 Long Range Arena 上的结果,强调 S4 在各任务上取得强基准表现,并首次解决了长度 16384 的 Path-X 任务。需要注意的是,这篇是系列第一篇,更偏动机与总体介绍,具体参数化、算法和理论细节主要留给后续文章和原论文。

文章直接给出 S4 的问题背景、模型定位和基准结果,属于长序列建模方向的重要方法导读。对研究长依赖序列、音频/时序建模或替代注意力机制的读者很有参考价值,但它本身偏概览,深入实现仍需结合论文和后续篇章。

科研议题Stanford Hazy Research

Structured State Spaces: A Brief Survey of Related Models

这篇文章是 Stanford Hazy Research 对连续时间序列建模相关路线的综述,重点比较了递归、卷积和连续时间/微分方程三类范式。作者分别从归纳偏置、训练并行性、在线推理成本、上下文长度和对不规则采样数据的适应能力等维度,解释了各自的优势与短板。文章进一步梳理了这些范式之间的联系,包括 RNN 与连续时间系统的对应、卷积与线性递归的等价展开,以及 CT 模型与离散输入处理的若干代表工作。它也指出,长程记忆仍是核心瓶颈,尤其在真实长序列场景中,许多方法在 1000 到数千步后就面临稳定性和效率限制。整体上,这是一篇为后续 S4 模型铺垫背景、帮助读者建立方法谱系与边界认识的综述,但不提供新的实验结果或系统实现细节。

文章直接给出了递归、卷积与连续时间模型的对比、联系和局限,是理解 S4 及长序列建模脉络的可靠背景材料。适合研究连续时间序列、状态空间模型或序列模型的读者,用于建立方法地图和判断各路线适用边界。

科研议题Stanford Hazy Research

Structured State Spaces: Combining Continuous-Time, Recurrent, and Convolutional Models

这篇文章系统介绍了结构化状态空间模型(SSM)如何把连续时间、递归计算和卷积三种序列表达统一起来。作者从线性常微分方程出发,给出连续时间形式,并通过离散化得到递推公式,再将递推展开为卷积核,说明三种表示在数学上是等价的。文章重点解释了 S4 采用的双线性变换离散化、步长 Δ 的作用,以及为什么它既能支持并行训练,也能在生成时切换为递归模式。文中还讨论了连续时间建模对采样率变化、缺失数据和不规则时间序列的优势,以及在文本等非连续数据上的局限。最后,作者比较了 SSM 与 RNN、CNN 的关系,并指出其高效实现仍受状态维度和工程优化约束。

推荐收录:正文明确给出了 SSM 的连续/递归/卷积三种等价表示、双线性离散化公式及其适用边界,属于可长期参考的研究解读。适合做序列建模、控制启发式深度学习和 S4 相关工作的入门与复习资料,但读者需注意它主要分析线性 SSM,离实际高效实现还有工程与结构化矩阵等前提。

科研议题Stanford Hazy Research

What can we accomplish without changing the architecture? A thought experiment in incorporating knowledge through data!

文章讨论了一个数据中心的思路:在不改动语言模型架构的前提下,仅通过训练和测试时向样本中插入实体元数据,来增强模型对知识和长尾实体的表达能力。作者把这种方法称为 metadata shaping,核心做法是把实体类别、描述等外部信息显式编码进输入,让基础 LM 直接利用这些信息学习。文章用最大熵和特征选择的视角解释了为什么元数据会帮助模型在未见模式上泛化,并强调这比改造架构更便于分析和部署。实验主要覆盖 OpenEntity、TACRED 和 FewRel 等实体密集任务,结果显示仅使用 BERT-base 也能比强基线提升最多 5.3 F1,且可达到或接近多种知识增强模型。其局限在于依赖元数据质量,且受序列长度约束,但整体说明“改数据”在知识注入问题上可能比“改模型”更稳健。

推荐收录,因为文中不仅提出了明确方法,还给出了在 OpenEntity、TACRED、FewRel 上的对比实验,证明只改数据就能逼近或超过知识增强架构。适合做 NLP、LLM 知识注入和数据中心 AI 的参考,但前提是外部元数据可靠且输入长度允许。

科研议题Stanford Hazy Research

HiPPO: Recurrent Memory with Optimal Polynomial Projections

这篇文章提出 HiPPO 框架,用连续时间的在线函数逼近来形式化“如何为序列维护记忆”这一问题。作者先定义衡量过去信息的重要性,再用正交多项式投影把历史压缩为固定维度系数,并推导出可闭式计算的线性微分方程与离散递推。基于这一框架,HiPPO 可自然嵌入 RNN,并解释 LSTM、GRU、LMU 等模型与门控/低阶近似之间的关系。实验上,它在百万步在线重建和 Permuted MNIST 上表现突出,HiPPO-LegS 还给出梯度衰减更慢、对时间尺度变化更鲁棒的理论性质。其边界在于结论依赖特定测度与多项式基,且部分效率与泛化优势仍需在更广泛任务上验证。

收录价值明确:文章不仅解释了长序列记忆问题的数学化定义,还给出可计算的 ODE/递推形式,并把 LSTM、GRU、LMU 放进同一理论框架。适合研究序列建模、记忆机制和时序模型的读者,尤其能迁移到状态空间模型、长程依赖与时间尺度鲁棒性分析中。

科研议题Stanford Hazy Research

Bootleg: Chasing the Tail with Self-Supervised Named Entity Disambiguation

文章介绍 Stanford Hazy Research 提出的 Bootleg,用于命名实体消歧(NED)中的长尾实体问题。作者指出,传统 BERT 类方法在常见实体上表现良好,但对稀有实体会显著退化,因此仅靠扩充文本语料很难根治长尾。Bootleg 的核心思路是模仿人类推理,把实体、类型和关系信息自动学习成候选表示,并通过 Transformer 组合这些信号完成消歧,而不是依赖人工规则。文章还给出四类推理模式的分析,并说明自监督与弱标注、正则化等设计如何提升尾部性能。实验显示它在三个 NED 基准上达到或超过 SOTA,对稀有实体提升尤为明显,并且学到的实体表示还能迁移到关系抽取和生产搜索/助手任务,但结论仍主要建立在特定知识图谱与评测集上。

推荐收录,因为文章明确给出了长尾 NED 的问题定义、Bootleg 的表示学习与推理机制,以及基准、尾部增益和迁移实验结果。适合做 NLP/实体链接/知识表示的研究阅读,尤其对关心长尾泛化与可迁移实体表示的读者有直接参考价值。

科研议题Stanford Hazy Research

The Coming Wave of ML Systems

文章讨论了机器学习系统正在从单纯提升模型效果,转向重塑应用构建方式这一趋势。作者以编译器、数据库和操作系统的发展为类比,指出现有 ML 工具虽然极大提升了建模和部署效率,但在监控、生命周期管理、跨角色协作、端到端数据流调试等方面仍明显不足。文章进一步提出,下一代 ML Systems 需要把训练、数据生产、模型管理和部署运维视为一个整体来设计,而不仅是若干独立工具的拼接。文中还举出 Google、YouTube、Apple、Uber 等工业实践,说明这一方向已有初步落地,但整体仍处于早期探索阶段,更多是研究议程而非成熟方案。

收录价值在于它清晰提出了 ML Systems 作为独立方向的核心问题:工具链成熟后,瓶颈转向生命周期、数据管道和协作治理。适合做研究选题、课程引入或系统设计的背景材料;但它偏宏观综述,缺少具体算法与实验细节,不能当作实现指南。

科研议题Stanford Hazy Research

Addressing Hidden Stratification: Fine-Grained Robustness in Coarse-Grained Classification Problems

这篇文章讨论“隐藏分层”问题:在粗粒度分类中,训练数据只给出大类标签,但每个大类内部往往还存在若干语义上不同的子类,模型在总体指标上看似良好,却可能在少数关键子类上严重失效。作者先给出一个层次生成模型,说明类别不平衡和未标注的隐藏属性会如何导致经验风险最小化偏向多数子类,从而放大最坏子类性能差距。基于这一分析,文章提出两阶段框架:先用已训练模型的表示或预训练图像嵌入做无监督聚类来估计子类,再用鲁棒优化/GDRO最小化簇级最坏损失,以提升最差子类表现。实验覆盖 Waterbirds、MNIST、CelebA 和 ISIC,结果显示在不依赖真实子类标签的情况下,方法能显著改善鲁棒性能,并在部分任务上接近使用真实子类标注的上界。文章也指出该方法依赖表示质量,某些数据集上预训练嵌入优于任务内表示,说明子类恢复能力仍是主要边界。

收录理由很明确:文章不仅提出了隐藏分层这一重要问题,还给出可复现的建模、聚类与鲁棒优化流程,并用多数据集实验验证了方法有效性。适合做医疗影像、公平性与长尾分类场景的研究参考,也能迁移到“只有粗标签但担心子群体失效”的模型评估与训练中。

科研议题Stanford Hazy Research

Ivy: Instrumental Variable Synthesis for Causal Inference

这篇文章围绕因果推断中的工具变量(IV)问题,讨论在真实数据里难以找到“完美 IV”时,如何从一组不完美、甚至彼此相关且部分无效的候选变量中合成更高质量的 IV。作者提出 Ivy 框架,将目标 IV 视为潜在变量,先借助图模型与鲁棒主成分分析学习候选 IV 的依赖结构和有效性,再基于已识别的有效 IV 估计潜变量并生成新的合成 IV,最后将其输入 Wald 等现有 IV 估计器完成因果效应估计。文章给出理论分析,讨论了可成功合成的条件、样本复杂度以及无效 IV 或遗漏依赖带来的模型失配。实验部分在孟德尔随机化场景下使用 UK Biobank 的 HDL、CRP 和维生素 D 等例子,显示 Ivy 在消除伪相关上通常比简单的加权/无权 allele score 更稳健,但也明确指出当所有候选 IV 都无效时方法仍会失效。

文中直接给出了 Ivy 的建模假设、两阶段合成流程、理论边界和真实数据验证,不是泛泛科普,而是可复用的研究方法总结。适合做因果推断、孟德尔随机化或弱监督/潜变量结构学习的读者参考,但也要注意它依赖“存在有效 IV 子集”等前提。

科研议题Stanford Hazy Research

Weak Supervision for Science and Medicine: A Year in Review

这篇综述回顾了弱监督在科学与医学中的近年进展,核心围绕 Snorkel/data programming 如何把专家启发式、临床工作流中的噪声信号,以及跨模态信息转化为训练数据。文章把应用分成三类:单模态弱监督、从 workflow exhaust 中提取监督、以及跨模态弱监督,并分别举了植入器械并发症抽取、心脏 MRI 罕见异常筛查、GWAS 文献知识库构建、胸片分诊、EEG 癫痫检测和 CT 出血识别等案例。文中给出了多项量化结果,如显著优于规则方法、可减少约 93% 标注资源、甚至在某些任务上接近或超过人工标注模型。作者同时指出其边界在于依赖可写出的弱标注信号、任务与模态适配性强,且在 hidden stratification 等真实分布切片上仍可能失效。最后文章展望了从显式规则监督走向被动观察监督,以及结合数据增强和鲁棒优化的后续方向。

文章直接综述了多篇可复用的弱监督医学/科学案例,并给出精确的性能与标注成本证据,适合做研究选题和低标注数据建模的参考。它的迁移价值在于提供了“从哪类弱信号入手、何时可替代人工标注、有哪些失效边界”的判断框架,但本身是综述而非新方法。

科研议题Stanford Hazy Research

When Multi-Task Learning Works -- And When It Doesn’t

这篇文章讨论了多任务学习在异构任务上为何常出现负迁移,并基于 ICLR 2020 的工作给出解释与改进方案。作者指出,是否优于单任务学习,关键不只取决于模型结构,还取决于共享表示的容量、任务数据协方差的对齐程度,以及训练时的优化/重加权策略。文中用示意实验说明:共享模块过大可能使任务互不干扰而失去迁移,过小则会产生破坏性冲突;任务主方向不对齐时,加入协方差对齐模块可提升效果。作者还提出基于 SVD 的任务重加权方法,以缓解标签噪声和任务重要性不均带来的训练偏差。实验在 GLUE 的五个任务上验证了方法有效性,BERT Large 的平均分提升 2.35%,但结论主要适用于共享编码器式多任务训练场景。

文章直接给出负迁移的三个可操作原因,并用 GLUE 与 BERT Large 的实验结果支撑结论,不是泛泛而谈的科普。适合做多任务学习、迁移学习和训练策略设计的长期参考,尤其对需要决定容量、任务配比和表示对齐方式的读者有迁移价值。

科研议题Stanford Hazy Research

Towards Interactive Weak Supervision with FlyingSquid

这篇文章介绍 Stanford Hazy Research 提出的 FlyingSquid,用于弱监督场景下快速学习标签模型。作者将多个噪声标注函数与隐藏真值建模为概率图模型,并利用“三个条件独立视角”的 triplet 关系,通过矩法推导闭式解,避免了传统 SGD 训练带来的高开销和大量超参调节。文章进一步给出采样误差与泛化误差的理论界,并说明即使模型存在一定失配,仍可得到有意义的性能保证。实验显示该方法在视频分析等任务上可比旧框架快数千倍,并支持在线学习与分布漂移适应,但前提是存在足够的条件独立性结构,且依赖关系越复杂,建模难度越高。

推荐收录,因为文章同时给出了弱监督标签模型的核心建模思路、闭式求解机制、理论界和视频/在线学习实验结果,证据完整且可迁移性强。适合做弱监督、标签模型和快速迭代数据编程的参考,但读者也需注意其对条件独立性结构的依赖。

科研思考Stanford Hazy Research

Software 2.0 and Data Programming: Lessons Learned, and What’s Next

文章回顾了 Snorkel 团队围绕 data programming 与 weak supervision 的四年实践,核心判断是:深度学习模型本身正在商品化,真正的瓶颈正从“建模”转向“如何组织训练数据和监督信号”。作者总结了该方法在工业界和医疗等场景的传播,也强调它让领域专家能够更直接地参与机器学习系统构建。随后文章进一步指出,数据标注只是模型生产的一环,数据增强、观测式监督、模型验证、隐藏分层和嵌入表示等问题仍缺少系统方法。整体上,它是一篇面向数据中心机器学习与弱监督方向的阶段性反思,兼具实践总结和研究议题提出的价值。

推荐收录,因为文章直接基于 Snorkel 的落地经验,总结了弱监督从概念到应用的证据,并明确提出了后续值得研究的几个问题。适合关注数据中心机器学习、模型上线维护和研究选题的读者,但它更偏方向性反思而非完整方法论文。

科研议题Stanford Hazy Research

Automating the Art of Data Augmentation

这篇文章是 Stanford Hazy Research 对数据增强研究的总览,讨论其在图像、文本分类和强化学习中的重要性,以及手工启发式增强在组合方式和参数选择上的局限。作者把该领域的进展归纳为三条主线:自动搜索变换函数与组合、从理论上解释增强为何有效、以及把数据增强用于修补模型在特定子群上的性能缺陷。文章强调,自动化方法有望优于人工经验,但搜索空间复杂、增强效果依赖任务与数据分布,因此并不存在通用最优策略。文中还提到系列后续文章与配套代码,说明它更偏研究导览而非单一算法细节。整体适合作为理解数据增强研究脉络、选题方向和方法边界的入口。

推荐收录,因为正文明确梳理了数据增强研究的三类核心问题:自动搜索、理论解释和细粒度质量保证,并给出后续系列与代码入口。适合做研究综述、选题启发或相关论文阅读的起点,能帮助读者把零散增强技巧放回到更完整的方法脉络中。

科研议题Stanford Hazy Research

Automating the Art of Data Augmentation

文章综述了自动化数据增强的几种代表性方法,核心问题是如何在巨大的变换函数空间中高效搜索出比人工经验更优的增强策略。作者先介绍 TANDA:把增强看作由用户定义的变换序列,并通过对抗训练让生成器产出“看起来真实”的增强样本,再用判别器约束其合理性。随后比较 AutoAugment、RandAugment 和 Adversarial AutoAugment:前者直接以验证集精度为目标搜索策略,但代价很高;RandAugment 用随机采样和简化搜索显著降低计算成本;Adversarial AutoAugment 则以对抗式方式联合优化模型与策略,在若干图像分类基准上取得更强结果。文章的结论是,自动化增强确实能超越手工规则,但搜索开销、对代理数据集的依赖以及任务迁移性仍是主要边界。

文中明确比较了 TANDA、AutoAugment、RandAugment 和 Adversarial AutoAugment 的目标函数、搜索代价与基准表现,属于可长期参考的研究脉络梳理。适合关注数据增强、AutoML 和图像分类训练策略的读者,能直接迁移其“效果-算力”权衡框架。

科研议题Stanford Hazy Research

Automating the Art of Data Augmentation

这篇文章回顾了数据增强的理论研究,重点解释“增强为何有效”而不只是“怎么做”。作者先介绍 Dao 等人关于核方法的分析:把数据增强建模为带随机变换的马尔可夫链后,增强等价于对变换后的特征映射做平均,从而提升不变性,并在二阶近似下带来类似方差正则化的效果。随后文章总结 Wu 等人在过参数线性回归中的结果,区分标签不变变换、mixup 以及多种变换组合,说明它们可能补充新信息、缩小预测波动,或产生正负不一的复合效应。基于这些理论,作者提出按不确定性进行随机采样的增强策略,在 CIFAR 和 ImageNet 上优于 RandAugment,并接近 Adversarial AutoAugment,同时训练成本更低。文章的边界也很明确:理论主要建立在简化模型上,对复杂视觉任务中的具体变换效果仍不能完全泛化。

收录价值在于它不只讲经验技巧,而是给出数据增强的理论解释、简化模型下的机制分析,以及由理论反推实践策略的完整链条。适合做机器学习研究、自动增强方法设计和理论入门参考;需要注意的是结论主要来自核方法与过参数线性模型,迁移到复杂深网时仍需实验验证。

科研议题Stanford Hazy Research

Automating the Art of Data Augmentation

文章提出“model patching”框架,目标是用数据增强自动修补部署后模型的缺陷,而不是只在静态任务上追求平均精度。方法分两步:先用类条件 CycleGAN 学习不同子群体之间的语义变换,再用这些增强样本重训分类器。作者进一步设计 subgroup consistency regularizer,并结合类条件 GDRO,让模型在保留类别信息的同时,降低对子群体特有伪特征的依赖。实验在 MNIST、CelebA、Waterbirds 和 ISIC 上表明,该方法能同时提升整体精度与最差子群体鲁棒精度,部分任务中组间性能差距最高缩小 24 倍,ISIC 上鲁棒精度提升 11.7%。其边界在于:方法依赖可学习且语义合理的跨组变换,并且主要适用于已有明确子群体标注的场景。

这篇文章给出了从问题定义、方法设计到多数据集实验验证的完整研究链条,直接讨论了部署模型维护与子群体鲁棒性,证据充分。适合关注数据增强、公平性、鲁棒训练和生成式建模的读者参考,但需要注意它依赖子群体标注和高质量跨组生成。