自动微分

算子级图上的反向模式自动微分、保存与重算的最小割模型、联合图，以及降级到循环级中间表示的规则、张量即函数的语义、规约的代数性质与实体化决策。