-
别只背名词:机制可解释性怎么用到生产
机制可解释性要的不是热力图,而是因果证据。本文用 induction head、IOI 26-head 电路、activation patchi…
-
搜索结果有多糟:把 Google、Bing 和 ChatGPT 放在一起比
In The birth & death of search engine optimization , Xe suggests
-
把「Ultrafilters, nonstandard analysis, and epsilon」写成可执行的阅读路径
This post is in some ways an antithesis of my previous postings on hard …
-
落地可解释性入门时先把这几件事钉死
attention 权重容易被读成“模型关注了哪里”,但 Jain 和 Wallace(NAACL 2019)等工作证明相关不等于因果。本文区分…
-
Sattolo 算法:洗牌时那个容易写错的细节
I recently had a problem where part of the solution was to do a series o…
-
「Open question: deterministic UUP matrices」:数学直觉如何落到可检验的步骤
This problem in compressed sensing is an example of a derandomisation pr…
-
工程上真正卡住的是量化、蒸馏、剪枝
量化、蒸馏、剪枝常被当成同一件事的三种手段——”让模型变小”,但它们改变的对象、误差来源和失败模式完全不同。本文从 weight-only 与 …
-
编程书推荐和反推荐
There are a lot of “12 CS books every programmer must read” lists floati…
-
读懂「Scholarpedia article: Szemerédi’s theorem」:先把定义、反例和适用范围钉死
A few months ago, I was invited to contribute an article to Scholarpedia…
-
别只背名词:Speculative Decoding怎么用到生产
KV Cache 后 decode 仍是显存带宽受限的串行循环。本文给出投机解码的接受-拒绝公式与正确性证明,推导接受率如何决定加速比,用实测数…