Provenance Tracking in AI Compilers through the Lens of Coalgebra

Zilu Tian, Liying Liu

AI compilers aggressively rewrite computation graphs through normalization, lowering, and optimization, making it difficult to track the provenance of tensors and operators across…