Achieving Zen: Combining Mathematical and Programmatic Deep Learning Model Representations for Attribution and Reuse. - David Oygenblik; Dinko Dermendzhiev; Filippos Sofias; Mingxuan Yao; Haichuan Xu; Runze Zhang; Jeman Park 001; Amit Kumar Sikder; Brendan Saltaformaggio (NDSS, 2026)