Zygote.jl

GitHub
1.6k 220 非常简单 2 次阅读 5天前NOASSERTION开发框架
AI 解读 由 AI 自动生成,仅供参考

Zygote.jl 是 Julia 语言中一个用于自动微分的开源库,专为可微编程设计,也是机器学习框架 Flux 的新一代自动微分后端。它采用“源到源”(source-to-source)技术,能直接在 Julia 编译器层面自动生成函数的梯度代码,就像开发者手动编写一样高效。这解决了传统自动微分难以兼顾灵活性与性能的问题,尤其适合需要复杂控制流、递归、闭包或自定义数据结构的场景。

Zygote.jl 主要面向使用 Julia 进行科学计算、机器学习或优化算法研究的开发者和研究人员。它支持对函数参数甚至隐式使用的全局变量(如神经网络权重)进行求导,并兼容 ChainRules.jl 生态,便于用户自定义梯度规则。虽然目前不支持变量突变和异常处理,但它充分利用了 Julia 的动态特性,在保持代码简洁的同时提供强大的微分能力。推荐在 Julia 1.8 或更高版本中使用以获得最佳体验。

使用场景

某科研团队正在用 Julia 开发一个基于物理信息的神经网络(PINN),用于求解复杂偏微分方程,模型中包含自定义控制流和动态结构。

没有 Zygote.jl 时

  • 必须手动推导并编码反向传播逻辑,尤其在包含 if 分支或循环的损失函数中极易出错。
  • 对于隐式依赖的模型参数(如全局权重矩阵 W 和偏置 b),难以统一计算梯度,需重构代码以显式传参。
  • 自定义算子(如特殊激活函数)缺乏自动微分支持,只能用数值微分近似,精度低且速度慢。
  • 调试梯度错误耗时极长,因为无法直观验证导数是否正确。
  • 与 Julia 原生数据结构(如 Dict、NamedTuple)结合使用时,传统 AD 工具常报错或不支持。

使用 Zygote.jl 后

  • 直接对含控制流的原生 Julia 函数调用 gradient,Zygote 自动生成高效、正确的反向代码。
  • 利用 Params 机制,无需修改函数签名即可对隐式使用的参数(如 W、b)自动求导。
  • 通过 ChainRulesCore 定义 rrule,轻松为自定义函数提供解析梯度,兼顾性能与精度。
  • 可结合 @code_llvm 等工具检查生成的导数代码,快速定位问题。
  • 原生支持字典、闭包等动态结构,例如根据用户输入选择不同物理算子并自动微分。

Zygote.jl 让研究人员能像写普通 Julia 代码一样构建可微程序,无需为自动微分牺牲表达力或正确性。

运行环境要求

操作系统
  • Linux
  • macOS
  • Windows
GPU

未说明

内存

未说明

依赖
notes推荐使用 Julia 1.8 或更高版本;不支持 mutation 和 exception handling;支持控制流、递归、闭包、结构体、字典等 Julia 动态特性;可通过 ChainRulesCore.jl 自定义梯度规则。
python未说明
Julia 1.6+
ChainRulesCore.jl
ChainRules.jl
Zygote.jl hero image

快速开始

CI Testing Coverage Dev Docs

] add Zygote

Zygote 在 Julia 中提供源到源(source-to-source)自动微分(Automatic Differentiation, AD),是 Flux 可微分编程框架的下一代自动微分系统。有关 Zygote 技术的更多细节和基准测试,请参阅我们的论文。你可能还想查看 Flux,以获取更多有趣的 Zygote 使用示例;本文档主要关注内部机制和高级自动微分用法。

Zygote 支持 Julia 1.6 及更高版本,但我们强烈推荐使用 Julia 1.8 或更新版本。

julia> using Zygote

julia> f(x) = 5x + 3

julia> f(10), f'(10)
(53, 5.0)

julia> @code_llvm f'(10)
define i64 @"julia_#625_38792"(i64) {
top:
  ret i64 5
}

“源到源”意味着 Zygote 会接入 Julia 的编译器,并为你生成反向传播过程——就像你自己手动编写的一样。

Zygote 支持 Julia 语言的灵活性和动态性,包括控制流、递归、闭包、结构体(structs)、字典(dictionaries)等。 目前尚不支持可变状态(mutation)和异常处理(exception handling)。

julia> fs = Dict("sin" => sin, "cos" => cos, "tan" => tan);

julia> gradient(x -> fs[readline()](x), 1)
sin
0.5403023058681398

Zygote 受益于使用 ChainRules.jl 的规则集。 自定义梯度可以通过扩展 ChainRulesCore.jlrrule 来定义:

julia> using ChainRulesCore

julia> add(a, b) = a + b

julia> function ChainRulesCore.rrule(::typeof(add), a, b)
           add_pb(dy) = (NoTangent(), dy, dy)
           return add(a, b), add_pb
       end

为了支持具有大量参数的大规模机器学习模型,Zygote 能够对隐式使用的参数进行微分,而不仅限于函数参数。

julia> W, b = rand(2, 3), rand(2);

julia> predict(x) = W*x .+ b;

julia> g = gradient(Params([W, b])) do
         sum(predict([1,2,3]))
       end
Grads(...)

julia> g[W], g[b]
([1.0 2.0 3.0; 1.0 2.0 3.0], [1.0, 1.0])

版本历史

v0.7.102025/06/14
v0.7.92025/06/10
v0.7.82025/06/05
v0.6.772025/05/02
v0.7.72025/04/30
v0.6.762025/04/01
v0.7.62025/03/31
v0.7.52025/03/26
v0.7.42025/01/31
v0.7.32025/01/21
v0.7.22025/01/18
v0.7.12025/01/05
v0.7.02025/01/04
v0.6.752025/01/01
v0.6.742024/12/27
v0.6.732024/11/10
v0.6.722024/10/13
v0.6.712024/09/25
v0.6.702024/05/09
v0.6.692024/01/19

常见问题

相似工具推荐

stable-diffusion-webui

stable-diffusion-webui 是一个基于 Gradio 构建的网页版操作界面,旨在让用户能够轻松地在本地运行和使用强大的 Stable Diffusion 图像生成模型。它解决了原始模型依赖命令行、操作门槛高且功能分散的痛点,将复杂的 AI 绘图流程整合进一个直观易用的图形化平台。 无论是希望快速上手的普通创作者、需要精细控制画面细节的设计师,还是想要深入探索模型潜力的开发者与研究人员,都能从中获益。其核心亮点在于极高的功能丰富度:不仅支持文生图、图生图、局部重绘(Inpainting)和外绘(Outpainting)等基础模式,还独创了注意力机制调整、提示词矩阵、负向提示词以及“高清修复”等高级功能。此外,它内置了 GFPGAN 和 CodeFormer 等人脸修复工具,支持多种神经网络放大算法,并允许用户通过插件系统无限扩展能力。即使是显存有限的设备,stable-diffusion-webui 也提供了相应的优化选项,让高质量的 AI 艺术创作变得触手可及。

162.1k|★★★☆☆|今天
开发框架图像Agent

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 真正成长为懂上

139k|★★☆☆☆|今天
开发框架Agent语言模型

ComfyUI

ComfyUI 是一款功能强大且高度模块化的视觉 AI 引擎,专为设计和执行复杂的 Stable Diffusion 图像生成流程而打造。它摒弃了传统的代码编写模式,采用直观的节点式流程图界面,让用户通过连接不同的功能模块即可构建个性化的生成管线。 这一设计巧妙解决了高级 AI 绘图工作流配置复杂、灵活性不足的痛点。用户无需具备编程背景,也能自由组合模型、调整参数并实时预览效果,轻松实现从基础文生图到多步骤高清修复等各类复杂任务。ComfyUI 拥有极佳的兼容性,不仅支持 Windows、macOS 和 Linux 全平台,还广泛适配 NVIDIA、AMD、Intel 及苹果 Silicon 等多种硬件架构,并率先支持 SDXL、Flux、SD3 等前沿模型。 无论是希望深入探索算法潜力的研究人员和开发者,还是追求极致创作自由度的设计师与资深 AI 绘画爱好者,ComfyUI 都能提供强大的支持。其独特的模块化架构允许社区不断扩展新功能,使其成为当前最灵活、生态最丰富的开源扩散模型工具之一,帮助用户将创意高效转化为现实。

107.7k|★★☆☆☆|2天前
开发框架图像Agent

NextChat

NextChat 是一款轻量且极速的 AI 助手,旨在为用户提供流畅、跨平台的大模型交互体验。它完美解决了用户在多设备间切换时难以保持对话连续性,以及面对众多 AI 模型不知如何统一管理的痛点。无论是日常办公、学习辅助还是创意激发,NextChat 都能让用户随时随地通过网页、iOS、Android、Windows、MacOS 或 Linux 端无缝接入智能服务。 这款工具非常适合普通用户、学生、职场人士以及需要私有化部署的企业团队使用。对于开发者而言,它也提供了便捷的自托管方案,支持一键部署到 Vercel 或 Zeabur 等平台。 NextChat 的核心亮点在于其广泛的模型兼容性,原生支持 Claude、DeepSeek、GPT-4 及 Gemini Pro 等主流大模型,让用户在一个界面即可自由切换不同 AI 能力。此外,它还率先支持 MCP(Model Context Protocol)协议,增强了上下文处理能力。针对企业用户,NextChat 提供专业版解决方案,具备品牌定制、细粒度权限控制、内部知识库整合及安全审计等功能,满足公司对数据隐私和个性化管理的高标准要求。

87.6k|★★☆☆☆|今天
开发框架语言模型

ML-For-Beginners

ML-For-Beginners 是由微软推出的一套系统化机器学习入门课程,旨在帮助零基础用户轻松掌握经典机器学习知识。这套课程将学习路径规划为 12 周,包含 26 节精炼课程和 52 道配套测验,内容涵盖从基础概念到实际应用的完整流程,有效解决了初学者面对庞大知识体系时无从下手、缺乏结构化指导的痛点。 无论是希望转型的开发者、需要补充算法背景的研究人员,还是对人工智能充满好奇的普通爱好者,都能从中受益。课程不仅提供了清晰的理论讲解,还强调动手实践,让用户在循序渐进中建立扎实的技能基础。其独特的亮点在于强大的多语言支持,通过自动化机制提供了包括简体中文在内的 50 多种语言版本,极大地降低了全球不同背景用户的学习门槛。此外,项目采用开源协作模式,社区活跃且内容持续更新,确保学习者能获取前沿且准确的技术资讯。如果你正寻找一条清晰、友好且专业的机器学习入门之路,ML-For-Beginners 将是理想的起点。

85k|★★☆☆☆|今天
图像数据工具视频

ragflow

RAGFlow 是一款领先的开源检索增强生成(RAG)引擎,旨在为大语言模型构建更精准、可靠的上下文层。它巧妙地将前沿的 RAG 技术与智能体(Agent)能力相结合,不仅支持从各类文档中高效提取知识,还能让模型基于这些知识进行逻辑推理和任务执行。 在大模型应用中,幻觉问题和知识滞后是常见痛点。RAGFlow 通过深度解析复杂文档结构(如表格、图表及混合排版),显著提升了信息检索的准确度,从而有效减少模型“胡编乱造”的现象,确保回答既有据可依又具备时效性。其内置的智能体机制更进一步,使系统不仅能回答问题,还能自主规划步骤解决复杂问题。 这款工具特别适合开发者、企业技术团队以及 AI 研究人员使用。无论是希望快速搭建私有知识库问答系统,还是致力于探索大模型在垂直领域落地的创新者,都能从中受益。RAGFlow 提供了可视化的工作流编排界面和灵活的 API 接口,既降低了非算法背景用户的上手门槛,也满足了专业开发者对系统深度定制的需求。作为基于 Apache 2.0 协议开源的项目,它正成为连接通用大模型与行业专有知识之间的重要桥梁。

77.1k|★★★☆☆|昨天
Agent图像开发框架