AINeutralarXiv – CS AI · 7h ago6/10
🧠
Provenance Tracking in AI Compilers through the Lens of Coalgebra
Researchers present a coalgebra-based approach to tracking tensor and operator provenance through AI compiler transformations, addressing the challenge of maintaining computational lineage during aggressive graph rewrites. The method uses observational semantics rather than identifier propagation, with a prototype implementation called COVAN demonstrating practical viability with minimal engineering overhead.