rnn-from-scratch
rnn-from-scratch 是一个专为深度学习爱好者打造的开源项目,旨在从零开始手写实现循环神经网络(RNN)。它主要解决了初学者在面对复杂深度学习框架时,难以深入理解 RNN 内部运作机制及梯度计算原理的痛点。通过摒弃现成的高级 API,该项目引导用户一步步构建网络架构,直观地展示参数如何在不同时间步中共享,以及如何利用交叉熵损失函数进行模型优化。
这个项目特别适合具有一定神经网络基础的开发者、人工智能研究人员以及计算机专业的学生使用。如果你已经了解前馈神经网络,并希望进一步探索序列建模的奥秘,rnn-from-scratch 将是理想的进阶学习材料。其独特的技术亮点在于基于“计算图”实现了自动微分,并详细演示了如何通过“随时间反向传播”(BPTT)算法来计算梯度。这种方法不仅比手动推导公式更加简洁可靠,还清晰地揭示了传统反向传播与 BPTT 之间的本质联系——即在时间维度上对梯度进行累加。通过以 RNN 语言模型为例,该项目帮助用户在代码实践中真正掌握处理序列数据的核心逻辑,为后续开发更复杂的自然语言处理应用打下坚实基础。
使用场景
某高校深度学习实验室的研究员正在指导学生从零构建循环神经网络(RNN),以深入理解序列数据处理机制。
没有 rnn-from-scratch 时
- 学生需手动推导随时间反向传播(BPTT)的复杂梯度公式,极易在链式法则计算中出现数学错误。
- 缺乏可视化的计算图参考,难以直观理解参数 $(W, U, V)$ 如何在不同时间步共享及梯度如何累加。
- 调试过程如同“黑盒”,当模型无法收敛时,无法区分是代码逻辑错误还是对 RNN 原理理解偏差。
- 编写自动微分逻辑耗时耗力,大量时间浪费在重复造轮子上,而非探索语言模型的实际应用。
使用 rnn-from-scratch 后
- 直接复用基于计算图实现的自动微分模块,无需手工计算梯度,确保了 BPTT 算法的数学准确性。
- 结合项目中的架构图与公式推导,学生能清晰看到误差如何在时间维度上传播并更新共享参数。
- 代码结构透明且模块化,研究员可快速定位训练失败原因,高效验证学生对隐藏状态传递机制的理解。
- 团队将精力集中在调整随机梯度下降策略和优化交叉熵损失函数上,显著缩短了从理论到实战的周期。
rnn-from-scratch 通过将复杂的时序反向传播过程代码化与可视化,让开发者从繁琐的公式推导中解放出来,真正专注于掌握 RNN 的核心机理。
运行环境要求
未说明
未说明

快速开始
从零开始实现循环神经网络
我假设你对基础的神经网络已经有一定的了解。如果没有,你可以先阅读从零开始实现神经网络,它会引导你理解非循环网络背后的思想和实现方法。
引言
本篇博客受到WildML上的循环神经网络教程的启发。你可以深入阅读那篇文章来掌握RNN的基础知识,这些内容在本教程中将不再赘述。
在本教程中,我们将重点讲解如何基于RNN的计算图,通过时间反向传播(BPTT)进行训练,并实现自动微分。你会发现,用这种方式计算梯度比手动推导要更加简单可靠。
本文将以RNN语言模型(rnnlm)为例。关于RNN更高级的应用,可以参考Karpathy的文章。
如何训练RNN
RNN的结构如下图所示:

可以看到,参数(W, U, V)在不同时间步之间是共享的。每个时间步的输出可以经过softmax处理。因此,我们可以使用交叉熵损失作为误差函数,并采用优化算法(如梯度下降法)来求解最优参数(W, U, V)。
回顾一下我们的RNN公式:

我们定义的损失函数为交叉熵损失,表达式如下:

其中y_t是时间步t的真实标签,y^_t是我们预测的值。通常我们会把整个序列(句子)当作一个训练样本,因此总误差就是各个时间步(单词)误差的总和。

记住,我们的目标是计算误差对参数U、V和W的梯度,然后利用优化算法(本教程中使用随机梯度下降法)来更新参数。就像我们对误差求和一样,我们也需要对每个时间步的梯度进行累加:
。也就是说,我们需要分别计算dEt/dW、dEt/dU和dEt/dV,并将所有时间步的结果相加。
计算dEt/dV相对简单,因为它只依赖于当前时间步的值。然而,dEt/dW和dEt/dU则复杂得多。注意,s_3 = tanh(Ux_3 + Ws_2)依赖于s_2,而s_2又依赖于W、U和s_1,依此类推。因此,在对W求导时,我们不能把s_2视为常数!必须再次应用链式法则。具体过程可以参考下图。

现在我们以E1为例,用计算图来表示,并计算dE1/dW和dE1/dU,思路是一样的。

需要注意的是,这与我们在深度前馈神经网络中使用的标准反向传播算法完全一致。关键区别在于,我们在RNN中需要对每个时间步的梯度进行累加。而在传统的前馈网络中,各层的参数并不共享,因此不需要做这样的累加操作。在我看来,BPTT不过是展开后的RNN上应用标准反向传播的一种更炫酷的称呼而已。
为了简化计算图并提高效率,我们可以将一些小的操作单元整合为一个大的操作单元。请看下图。需要注意的是,每个操作单元都需要实现forward和backward函数。

以下是所有操作单元以及softmax输出的实现代码:
mulGate = MultiplyGate()
addGate = AddGate()
activation = Tanh()
class RNNLayer:
def forward(self, x, prev_s, U, W, V):
self.mulu = mulGate.forward(U, x)
self.mulw = mulGate.forward(W, prev_s)
self.add = addGate.forward(self.mulw, self.mulu)
self.s = activation.forward(self.add)
self.mulv = mulGate.forward(V, self.s)
def backward(self, x, prev_s, U, W, V, diff_s, dmulv):
self.forward(x, prev_s, U, W, V)
dV, dsv = mulGate.backward(V, self.s, dmulv)
ds = dsv + diff_s
dadd = activation.backward(self.add, ds)
dmulw, dmulu = addGate.backward(self.mulw, self.mulu, dadd)
dW, dprev_s = mulGate.backward(W, prev_s, dmulw)
dU, dx = mulGate.backward(U, x, dmulu)
return (dprev_s, dU, dW, dV)
class MultiplyGate:
def forward(self,W, x):
return np.dot(W, x)
def backward(self, W, x, dz):
dW = np.asarray(np.dot(np.transpose(np.asmatrix(dz)), np.asmatrix(x)))
dx = np.dot(np.transpose(W), dz)
return dW, dx
class AddGate:
def forward(self, x1, x2):
return x1 + x2
def backward(self, x1, x2, dz):
dx1 = dz * np.ones_like(x1)
dx2 = dz * np.ones_like(x2)
return dx1, dx2
class Sigmoid:
def forward(self, x):
return 1.0 / (1.0 + np.exp(-x))
def backward(self, x, top_diff):
output = self.forward(x)
return (1.0 - output) * output * top_diff
class Tanh:
def forward(self, x):
return np.tanh(x)
def backward(self, x, top_diff):
output = self.forward(x)
return (1.0 - np.square(output)) * top_diff
class Softmax:
def predict(self, x):
exp_scores = np.exp(x)
return exp_scores / np.sum(exp_scores)
def loss(self, x, y):
probs = self.predict(x)
return -np.log(probs[y])
def diff(self, x, y):
probs = self.predict(x)
probs[y] -= 1.0
return probs
这些实现与从零开始实现神经网络中的代码基本相同,唯一的区别在于:本教程中的输入x或s是一维数组,而在之前的教程中,输入X是一个矩阵形式的数据批次(每行代表一个样本)。
现在我们已经能够计算出参数的梯度,接下来就可以使用SGD来训练模型了。
实现
初始化
初始化参数 U、V 和 W 有点讲究。我们不能简单地将它们初始化为 0,因为那样会导致所有层的计算对称。我们必须随机初始化这些权重。由于合适的初始化似乎会对训练结果产生影响,这一领域已经进行了大量研究。事实证明,最佳的初始化方式取决于激活函数(在我们的例子中是 tanh),一种推荐的做法是将权重随机初始化在区间
内,其中 n 是来自前一层的输入连接数。
class Model:
def __init__(self, word_dim, hidden_dim=100, bptt_truncate=4):
self.word_dim = word_dim
self.hidden_dim = hidden_dim
self.bptt_truncate = bptt_truncate
self.U = np.random.uniform(-np.sqrt(1. / word_dim), np.sqrt(1. / word_dim), (hidden_dim, word_dim))
self.W = np.random.uniform(-np.sqrt(1. / hidden_dim), np.sqrt(1. / hidden_dim), (hidden_dim, hidden_dim))
self.V = np.random.uniform(-np.sqrt(1. / hidden_dim), np.sqrt(1. / hidden_dim), (word_dim, hidden_dim))
上述代码中,word_dim 是词汇表的大小,而 hidden_dim 是隐藏层的大小(我们可以自行选择)。目前可以先不用管 bptt_truncate 参数,稍后我们会解释它的作用。
前向传播
接下来,让我们实现由上述公式定义的前向传播(预测单词概率):
'''
前向传播(预测单词概率)
x 既可以是一个单独的数据点,也可以是一批数据
例如 x = [0, 179, 341, 416], 那么 y = [179, 341, 416, 1]
'''
def forward_propagation(self, x):
# 总的时间步数
T = len(x)
layers = []
prev_s = np.zeros(self.hidden_dim)
# 对于每一个时间步...
for t in range(T):
layer = RNNLayer()
input = np.zeros(self.word_dim)
input[x[t]] = 1
layer.forward(input, prev_s, self.U, self.W, self.V)
prev_s = layer.s
layers.append(layer)
return layers
我们还实现了一个 predict 函数来生成最终结果。
def predict(self, x):
output = Softmax()
layers = self.forward_propagation(x)
return [np.argmax(output.predict(layer.mulv)) for layer in layers]
计算损失
为了训练我们的网络,我们需要一种方法来衡量它产生的误差。我们称这种度量为损失函数 L,我们的目标是找到能够使训练数据上的损失函数最小化的参数 U、V 和 W。常用的损失函数是 交叉熵 损失。
def calculate_loss(self, x, y):
assert len(x) == len(y)
output = Softmax()
layers = self.forward_propagation(x)
loss = 0.0
for i, layer in enumerate(layers):
loss += output.loss(layer.mulv, y[i])
return loss / float(len(y))
def calculate_total_loss(self, X, Y):
loss = 0.0
for i in range(len(Y)):
loss += self.calculate_loss(X[i], Y[i])
return loss / float(len(Y))
时间反向传播(BPTT)
正如前面介绍的那样,我们实现了 BPTT 算法。它以一个训练样本 (x, y) 作为输入,并返回梯度 dL/dW、dL/dU 和 dL/dV。
def bptt(self, x, y):
assert len(x) == len(y)
output = Softmax()
layers = self.forward_propagation(x)
dU = np.zeros(self.U.shape)
dV = np.zeros(self.V.shape)
dW = np.zeros(self.W.shape)
T = len(layers)
prev_s_t = np.zeros(self.hidden_dim)
diff_s = np.zeros(self.hidden_dim)
for t in range(0, T):
dmulv = output.diff(layers[t].mulv, y[t])
input = np.zeros(self.word_dim)
input[x[t]] = 1
dprev_s, dU_t, dW_t, dV_t = layers[t].backward(input, prev_s_t, self.U, self.W, self.V, diff_s, dmulv)
prev_s_t = layers[t].s
dmulv = np.zeros(self.word_dim)
for i in range(t-1, max(-1, t-self.bptt_truncate-1), -1):
input = np.zeros(self.word_dim)
input[x[i]] = 1
prev_s_i = np.zeros(self.hidden_dim) 如果 i == 0 else layers[i-1].s
dprev_s, dU_i, dW_i, dV_i = layers[i].backward(input, prev_s_i, self.U, self.W, self.V, dprev_s, dmulv)
dU_t += dU_i
dW_t += dW_i
dV += dV_t
dU += dU_t
dW += dW_t
return (dU, dW, dV)
SGD 的实现
现在我们已经能够计算出参数的梯度,就可以实现随机梯度下降(SGD)了。我喜欢分两步来实现:
- 一个
sgd_step函数,用于计算梯度并对一个批次进行更新。 - 外层循环遍历整个训练集,并调整学习率。
def sgd_step(self, x, y, learning_rate):
dU, dW, dV = self.bptt(x, y)
self.U -= learning_rate * dU
self.V -= learning_rate * dV
self.W -= learning_rate * dW
def train(self, X, Y, learning_rate=0.005, nepoch=100, evaluate_loss_after=5):
num_examples_seen = 0
losses = []
for epoch in range(nepoch):
if (epoch % evaluate_loss_after == 0):
loss = self.calculate_total_loss(X, Y)
losses.append((num_examples_seen, loss))
time = datetime.now().strftime('%Y-%m-%d %H:%M:%S')
print("%s: Loss after num_examples_seen=%d epoch=%d: %f" % (time, num_examples_seen, epoch, loss))
# 如果损失增加,则调整学习率
if len(losses) > 1 and losses[-1][1] > losses[-2][1]:
learning_rate = learning_rate * 0.5
print("Setting learning rate to %f" % learning_rate)
sys.stdout.flush()
# 对于每一个训练样本...
for i in range(len(Y)):
self.sgd_step(X[i], Y[i], learning_rate)
num_examples_seen += 1
return losses
在这里,如果发现当前 epoch 的损失有所增加,我们就将学习率减半。关于学习率衰减的更多信息可以参见 这里。
评估
好了!让我们来估算一下训练我们的网络需要多长时间:
word_dim = 8000
hidden_dim = 100
X_train, y_train = getSentenceData('data/reddit-comments-2015-08.csv', word_dim)
np.random.seed(10)
rnn = Model(word_dim, hidden_dim)
rnn.sgd_step(X_train[10], y_train[10], 0.005)
坏消息是,在我的笔记本上,SGD 的一步就需要几秒钟。我们的训练数据大约有 8 万个样本,因此完成一个 epoch(遍历整个数据集)就需要好几个小时。而要完成多个 epoch,则可能需要几天,甚至几周!
我们可以通过多种方式加速代码的运行。一种方法是使用像 Theano 这样的库,在 GPU 上实现我们的代码。不过在本教程中,我们先尝试用一个小数据集运行 SGD,并检查损失是否真的在下降:
word_dim = 8000
hidden_dim = 100
X_train, y_train = getSentenceData('data/reddit-comments-2015-08.csv', word_dim)
np.random.seed(10)
rnn = Model(word_dim, hidden_dim)
losses = rnn.train(X_train[:100], y_train[:100], learning_rate=0.005, nepoch=10, evaluate_loss_after=1)

不错,看起来我们的实现至少在做一些有用的事情,并且损失确实在下降,这正是我们期望的结果。
更进一步
RNN 存在一个被称为“梯度消失问题”的难题。这也是为什么传统的 RNN 无法捕捉长期依赖关系的原因。因此,我们使用 bptt_truncate 参数来限制依赖关系的长度。这也促使我们转向更复杂的 RNN 模型,比如 LSTM,它目前在许多自然语言处理任务中处于最先进水平。
关于“梯度消失问题”和“LSTM”的更多信息可以参见 这里、这里以及 这里。
参考文献
- https://github.com/pangolulu/neural-network-from-scratch
- http://www.wildml.com/2015/09/recurrent-neural-networks-tutorial-part-1-introduction-to-rnns/
- http://www.wildml.com/2015/09/recurrent-neural-networks-tutorial-part-2-implementing-a-language-model-rnn-with-python-numpy-and-theano/
- http://www.wildml.com/2015/10/recurrent-neural-networks-tutorial-part-3-backpropagation-through-time-and-vanishing-gradients/
常见问题
相似工具推荐
openclaw
OpenClaw 是一款专为个人打造的本地化 AI 助手,旨在让你在自己的设备上拥有完全可控的智能伙伴。它打破了传统 AI 助手局限于特定网页或应用的束缚,能够直接接入你日常使用的各类通讯渠道,包括微信、WhatsApp、Telegram、Discord、iMessage 等数十种平台。无论你在哪个聊天软件中发送消息,OpenClaw 都能即时响应,甚至支持在 macOS、iOS 和 Android 设备上进行语音交互,并提供实时的画布渲染功能供你操控。 这款工具主要解决了用户对数据隐私、响应速度以及“始终在线”体验的需求。通过将 AI 部署在本地,用户无需依赖云端服务即可享受快速、私密的智能辅助,真正实现了“你的数据,你做主”。其独特的技术亮点在于强大的网关架构,将控制平面与核心助手分离,确保跨平台通信的流畅性与扩展性。 OpenClaw 非常适合希望构建个性化工作流的技术爱好者、开发者,以及注重隐私保护且不愿被单一生态绑定的普通用户。只要具备基础的终端操作能力(支持 macOS、Linux 及 Windows WSL2),即可通过简单的命令行引导完成部署。如果你渴望拥有一个懂你
stable-diffusion-webui
stable-diffusion-webui 是一个基于 Gradio 构建的网页版操作界面,旨在让用户能够轻松地在本地运行和使用强大的 Stable Diffusion 图像生成模型。它解决了原始模型依赖命令行、操作门槛高且功能分散的痛点,将复杂的 AI 绘图流程整合进一个直观易用的图形化平台。 无论是希望快速上手的普通创作者、需要精细控制画面细节的设计师,还是想要深入探索模型潜力的开发者与研究人员,都能从中获益。其核心亮点在于极高的功能丰富度:不仅支持文生图、图生图、局部重绘(Inpainting)和外绘(Outpainting)等基础模式,还独创了注意力机制调整、提示词矩阵、负向提示词以及“高清修复”等高级功能。此外,它内置了 GFPGAN 和 CodeFormer 等人脸修复工具,支持多种神经网络放大算法,并允许用户通过插件系统无限扩展能力。即使是显存有限的设备,stable-diffusion-webui 也提供了相应的优化选项,让高质量的 AI 艺术创作变得触手可及。
everything-claude-code
everything-claude-code 是一套专为 AI 编程助手(如 Claude Code、Codex、Cursor 等)打造的高性能优化系统。它不仅仅是一组配置文件,而是一个经过长期实战打磨的完整框架,旨在解决 AI 代理在实际开发中面临的效率低下、记忆丢失、安全隐患及缺乏持续学习能力等核心痛点。 通过引入技能模块化、直觉增强、记忆持久化机制以及内置的安全扫描功能,everything-claude-code 能显著提升 AI 在复杂任务中的表现,帮助开发者构建更稳定、更智能的生产级 AI 代理。其独特的“研究优先”开发理念和针对 Token 消耗的优化策略,使得模型响应更快、成本更低,同时有效防御潜在的攻击向量。 这套工具特别适合软件开发者、AI 研究人员以及希望深度定制 AI 工作流的技术团队使用。无论您是在构建大型代码库,还是需要 AI 协助进行安全审计与自动化测试,everything-claude-code 都能提供强大的底层支持。作为一个曾荣获 Anthropic 黑客大奖的开源项目,它融合了多语言支持与丰富的实战钩子(hooks),让 AI 真正成长为懂上
ComfyUI
ComfyUI 是一款功能强大且高度模块化的视觉 AI 引擎,专为设计和执行复杂的 Stable Diffusion 图像生成流程而打造。它摒弃了传统的代码编写模式,采用直观的节点式流程图界面,让用户通过连接不同的功能模块即可构建个性化的生成管线。 这一设计巧妙解决了高级 AI 绘图工作流配置复杂、灵活性不足的痛点。用户无需具备编程背景,也能自由组合模型、调整参数并实时预览效果,轻松实现从基础文生图到多步骤高清修复等各类复杂任务。ComfyUI 拥有极佳的兼容性,不仅支持 Windows、macOS 和 Linux 全平台,还广泛适配 NVIDIA、AMD、Intel 及苹果 Silicon 等多种硬件架构,并率先支持 SDXL、Flux、SD3 等前沿模型。 无论是希望深入探索算法潜力的研究人员和开发者,还是追求极致创作自由度的设计师与资深 AI 绘画爱好者,ComfyUI 都能提供强大的支持。其独特的模块化架构允许社区不断扩展新功能,使其成为当前最灵活、生态最丰富的开源扩散模型工具之一,帮助用户将创意高效转化为现实。
gemini-cli
gemini-cli 是一款由谷歌推出的开源 AI 命令行工具,它将强大的 Gemini 大模型能力直接集成到用户的终端环境中。对于习惯在命令行工作的开发者而言,它提供了一条从输入提示词到获取模型响应的最短路径,无需切换窗口即可享受智能辅助。 这款工具主要解决了开发过程中频繁上下文切换的痛点,让用户能在熟悉的终端界面内直接完成代码理解、生成、调试以及自动化运维任务。无论是查询大型代码库、根据草图生成应用,还是执行复杂的 Git 操作,gemini-cli 都能通过自然语言指令高效处理。 它特别适合广大软件工程师、DevOps 人员及技术研究人员使用。其核心亮点包括支持高达 100 万 token 的超长上下文窗口,具备出色的逻辑推理能力;内置 Google 搜索、文件操作及 Shell 命令执行等实用工具;更独特的是,它支持 MCP(模型上下文协议),允许用户灵活扩展自定义集成,连接如图像生成等外部能力。此外,个人谷歌账号即可享受免费的额度支持,且项目基于 Apache 2.0 协议完全开源,是提升终端工作效率的理想助手。
markitdown
MarkItDown 是一款由微软 AutoGen 团队打造的轻量级 Python 工具,专为将各类文件高效转换为 Markdown 格式而设计。它支持 PDF、Word、Excel、PPT、图片(含 OCR)、音频(含语音转录)、HTML 乃至 YouTube 链接等多种格式的解析,能够精准提取文档中的标题、列表、表格和链接等关键结构信息。 在人工智能应用日益普及的今天,大语言模型(LLM)虽擅长处理文本,却难以直接读取复杂的二进制办公文档。MarkItDown 恰好解决了这一痛点,它将非结构化或半结构化的文件转化为模型“原生理解”且 Token 效率极高的 Markdown 格式,成为连接本地文件与 AI 分析 pipeline 的理想桥梁。此外,它还提供了 MCP(模型上下文协议)服务器,可无缝集成到 Claude Desktop 等 LLM 应用中。 这款工具特别适合开发者、数据科学家及 AI 研究人员使用,尤其是那些需要构建文档检索增强生成(RAG)系统、进行批量文本分析或希望让 AI 助手直接“阅读”本地文件的用户。虽然生成的内容也具备一定可读性,但其核心优势在于为机器