TVM 0.21.0 更新后，本文介绍 Relax 程序转换。通过内置 Pass（如 LegalizeOps）将高层操作符转为低层，再经算子融合优化合并内核。同时展示自定义 Pass，用 Mutator 将 ReLU 替换为 GELU，实现灵活的程序变换。

本文重新考虑了级别排序约束，以更系统地覆盖基于聚合的ASP扩展。通过程序转换，级别排序约束可以以一般形式重写，保留了单调和凸聚合的结构，并为它们的整合提供了统一的基础。这些结果为翻译器和求解器管道的实际应用开辟了新的可能性。