Tag:Volvox

All the articles with the tag "Volvox".

• E-graphs 学习笔记：动机与 Explanations

  更新于2026年2月12日

  传统 Term Rewriting 的局限如何引出 E-graph；volvox 实战困境；egg 的 explain_equivalence、FlatExplanation 与 TreeExplanation，以及如何读懂除法化简的证明序列。

• Volvox 深度学习框架中的元胞（Cell）概念与节点融合设计

  发布于2026年2月8日

  在已有 Node 与 NodeVisitor 的基础上，把「融合」抽象为 Cell：Cell 的逻辑形态、串行同类节点如何融合，以及融合终止条件。