Open access
Sep 2026
A Polynomial–Petri Certificate Framework for Reordering in a Straight-Line MLIR Transform IR Core
These results validate the finite model-to-Petri construction and show that the frozen pipeline operates reproducibly on the declared corpus.
Zheng-Yang Wei, Yi-Yang Jia
· Axioms · 0 citations