-
别只背名词:RLHF怎么用到生产
SFT 的似然目标画不出相对偏好,只能到一个由数据规模决定的天花板。RLHF 用奖励模型把偏好压成标量再接 PPO,代价是 KL 约束、采样成本…
-
程序员需要数学吗
I’m afraid my off the cuff response the other day wasn’t too well though…
-
「The crossing number inequality」:数学直觉如何落到可检验的步骤
Today I’d like to discuss a beautiful inequality in graph theory, namely…
-
别只背名词:指令微调怎么用到生产
预训练模型会补全,不等于会按人类意图回答。本文把 instruction tuning 的逻辑讲清楚:SFT 数据从哪里来,prompt-res…
-
malloc 入门:分配器并不简单
Let’s write a malloc and see how it works with existing programs!
-
「Another advice page, and an open thread」:数学直觉如何落到可检验的步骤
I have added another essay to my career advice page, inspired partly by …
-
工程上真正卡住的是微调演进
全参数微调的代价 → Adapter / Prefix Tuning / Prompt Tuning 的早期尝试 → LoRA 低秩分解的核心洞…
-
愿意显得蠢:提问和测量的前提
People frequently 1 think that I’m very stupid. I don’t find this surpri…
-
读懂「The quantitative behaviour of polynomial orbits」:先把定义、反例和适用范围钉死
Ben Green and I have just uploaded our paper “The quantitative behaviour…
-
智能体栈里的预训练目标:延迟、成本和翻车点
这篇文章只比较文本模型里最重要的三类预训练目标:GPT 的自回归语言建模、BERT 的掩码语言建模、T5/BART 的去噪式序列到序列。重点不是…