circuit_sparsity
circuit_sparsity 是伴随 Gao 等人 2025 年关于“稀疏电路”研究成果发布的开源工具集,旨在帮助人们直观地理解和探索神经网络内部的运作机制。它核心解决了深度学习模型“黑盒”难题,通过可视化技术展示模型在执行特定任务时,哪些神经元被激活、哪些被剪枝,从而揭示出驱动模型决策的关键“电路”路径。
这套工具非常适合 AI 研究人员、开发者以及对可解释性感兴趣的技术爱好者使用。用户不仅可以利用其内置的 Streamlit 仪表盘交互式地查看不同模型、数据集及剪枝策略下的电路结构,还能直接调用轻量级的 GPT 实现进行推理测试和激活值记录。其独特亮点在于将复杂的稀疏化理论转化为可视化的交互图表,支持对节点消融差异和激活预览进行深入探索,并提供了从数据加载到模型运行的完整代码链路。通过 circuit_sparsity,研究者能更轻松地验证剪枝效果,洞察模型如何在保持性能的同时实现高效稀疏,是推动神经网络安全与透明的重要实践助手。
使用场景
某 AI 安全团队正在审查一个用于代码生成的轻量级模型,试图找出其在处理嵌套括号时产生逻辑错误的根本原因。
没有 circuit_sparsity 时
- 黑盒调试困难:研究人员只能观察输入输出,无法定位具体是哪些神经元或注意力头导致了括号计数错误,排查如同大海捞针。
- 验证成本高昂:若要验证某个假设,需手动编写复杂的钩子(Hook)代码来提取中间层激活值,反复修改脚本并重新运行推理,耗时数小时。
- 缺乏直观证据:难以向非技术背景的团队成员展示模型内部的具体故障路径,只能依靠抽象的统计图表,沟通效率极低。
- 剪枝效果不明:尝试通过修剪模型来优化性能时,无法预判哪些节点移除后会破坏特定任务能力,往往导致模型整体崩溃。
使用 circuit_sparsity 后
- 精准定位故障:利用 Streamlit 可视化面板,团队直接加载
bracket_counting任务电路,瞬间高亮显示负责计数逻辑的关键稀疏子图,锁定异常节点。 - 交互式探索:通过滑动条动态调整节点预算 $k$ 或查看节点消融(ablation)增量,无需编写额外代码即可实时观察不同剪枝程度下的模型行为变化。
- 透明化归因:直接生成包含激活预览和重要性评分的交互图表,清晰展示“哪条路径出错”,让跨部门汇报变得直观且有据可依。
- 安全剪枝验证:在应用剪枝前,先在可视化工具中模拟移除特定节点,确认核心功能电路未受损,从而放心地部署更高效的稀疏模型。
circuit_sparsity 将原本晦涩难懂的神经网络内部机制转化为可交互、可解释的直观电路图,极大提升了模型诊断与优化的效率。
运行环境要求
- 未说明
- 非必需
- 支持 CPU 和 GPU 推理(load_model 函数含 cuda=False 参数),具体显卡型号、显存大小及 CUDA 版本未在文档中明确指定
未说明

快速开始
电路稀疏性可视化工具与模型
用于检查 Gao et al. 2025 提出的稀疏电路模型的工具。提供运行推理的代码以及一个 Streamlit 仪表板,允许您与通过剪枝发现的任务特定电路进行交互。注意:本 README 是由 AI 生成并经过轻微编辑的。
安装
pip install -e .
启动可视化工具
从项目根目录启动 Streamlit 应用:
streamlit run circuit_sparsity/viz.py
该应用会从 openaipublic 网页加载数据,并在本地缓存。当可视化工具加载时,您可以使用左侧栏中的控件选择模型、数据集、剪枝扫描和节点预算 k。图表使用 Plotly 渲染;大多数元素都是可交互的,支持悬停和点击探索。
Streamlit 电路可视化工具的示例视图(wte/wpe 选项卡),显示节点消融差异和激活预览:

运行模型前向传播
Transformer 的定义位于 circuit_sparsity.inference.gpt 中。该模块导出了:
GPTConfig/GPT:适用于 CPU/GPU 推理的轻量级 GPT 实现。load_model(model_dir, cuda=False):便捷的加载函数,需要models/...目录下的beeg_config.json和final_model.pt文件对。
示例用法(改编自 tests/test_gpt.py):
from circuit_sparsity.inference.gpt import GPT, GPTConfig, load_model
from circuit_sparsity.inference.hook_utils import hook_recorder
from circuit_sparsity.registries import MODEL_BASE_DIR
config = GPTConfig(block_size=8, vocab_size=16, n_layer=1, n_head=1, d_model=8)
model = GPT(config)
logits, loss, _ = model(idx, targets=targets)
# 获取激活值
with hook_recorder() as rec:
model(idx)
# rec 是一个字典,形如 {"0.attn.act_in": tensor(...), ...}
pretrained = load_model(f"{MODEL_BASE_DIR}/models/<model_name>", cuda=False)
运行测试:
pytest tests/test_gpt.py
数据布局
项目资产位于 https://openaipublic.blob.core.windows.net/circuit-sparsity 下,结构如下:
models/<model_name>/beeg_config.json:序列化的GPTConfig,用于重建模型。final_model.pt:circuit_sparsity.inference.gpt.load_model使用的检查点。
viz/<experiment>/<model_name>/<task_name>/<sweep>/<k>/viz_data.pkl:viz.py加载的主要数据包(包含电路掩码、激活值、样本、重要性等)。- 其他每轮输出(掩码、直方图、样本桶)会在预处理脚本生成后存储在同一目录树下。
train_curves/<model_name>/progress.json:仪表板摘要表使用的训练指标。- 其他实验特定目录(例如
csp_yolo1/、csp_yolo2/)存放准备剪枝运行时产生的原始数据。
viz.py 和 registries.py 中引用的文件路径假定采用此布局。如果重新定位数据,请更新 registries.py。
模型
我们发布了论文中所有用于获得结果的模型。完整模型列表请参见 registries.py。确切的训练超参数可在 [todo] 中找到。
csp_yolo1:用于single_double_quote定性结果的模型。这是一个总参数量为 1.18 亿的模型。该模型相对较旧,采用的训练方法与论文中不完全一致;特别是同时使用多个 L0 值进行训练的方法。csp_yolo2:用于bracket_counting和set_or_string_fixedvarname定性结果的模型。这是一个总参数量为 4.75 亿的模型。csp_sweep1_*:这些模型用于获得图 3 的结果。名称表示模型大小(相对于任意基准大小的“扩展因子”)、权重 L0 和激活稀疏度水平(afrac)。csp_bridge1:用于获得论文结果的桥梁模型。csp_bridge2:另一款桥梁模型。dense1_1x:在我们的数据集上训练的密集模型。dense1_2x:在我们的数据集上训练的密集模型,宽度是前者的两倍。dense1_4x:在我们的数据集上训练的密集模型,宽度是前者的四倍。
剪枝扫描 ID
prune_v2:256 次 CARBS 迭代,批量大小为 16,采用非常古老的(未发表的)剪枝算法,目标是固定的k值而非固定的目标损失。prune_v3:256 次 CARBS 运行,批量大小为 64,训练 32 个周期,采用较早的(未发表的)算法,目标是固定的目标损失。prune_v4:768 次 CARBS 运行,批量大小为 64,训练 48 个周期,采用已发表的算法,目标是固定的目标损失。prune_v5_logitscaling:256 次 CARBS 运行,批量大小为 32,训练 32 个周期,采用带有 logits 缩放的已发表算法,目标是固定的目标损失。
其他实用工具
per_token_viz_demo.py:用于标记级别可视化的小型示例。clear_cache.py:删除本地缓存的 blobstore 文件副本(包括 Streamlit/viz 缓存和 tiktoken 缓存);如果您需要重新获取最新数据,请运行此脚本。
该项目依赖于 Streamlit、Plotly、matplotlib、seaborn 和 torch(完整依赖列表请参阅 pyproject.toml)。
常见问题
相似工具推荐
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 都能提供强大的支持。其独特的模块化架构允许社区不断扩展新功能,使其成为当前最灵活、生态最丰富的开源扩散模型工具之一,帮助用户将创意高效转化为现实。
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 助手直接“阅读”本地文件的用户。虽然生成的内容也具备一定可读性,但其核心优势在于为机器
LLMs-from-scratch
LLMs-from-scratch 是一个基于 PyTorch 的开源教育项目,旨在引导用户从零开始一步步构建一个类似 ChatGPT 的大型语言模型(LLM)。它不仅是同名技术著作的官方代码库,更提供了一套完整的实践方案,涵盖模型开发、预训练及微调的全过程。 该项目主要解决了大模型领域“黑盒化”的学习痛点。许多开发者虽能调用现成模型,却难以深入理解其内部架构与训练机制。通过亲手编写每一行核心代码,用户能够透彻掌握 Transformer 架构、注意力机制等关键原理,从而真正理解大模型是如何“思考”的。此外,项目还包含了加载大型预训练权重进行微调的代码,帮助用户将理论知识延伸至实际应用。 LLMs-from-scratch 特别适合希望深入底层原理的 AI 开发者、研究人员以及计算机专业的学生。对于不满足于仅使用 API,而是渴望探究模型构建细节的技术人员而言,这是极佳的学习资源。其独特的技术亮点在于“循序渐进”的教学设计:将复杂的系统工程拆解为清晰的步骤,配合详细的图表与示例,让构建一个虽小但功能完备的大模型变得触手可及。无论你是想夯实理论基础,还是为未来研发更大规模的模型做准备