TY  - RPRT
TI  - Verify Distributed Deep Learning Model Implementation Refinement with Iterative Relation Inference
AU  - Zhanghan Wang
AU  - Ding Ding
AU  - Hang Zhu
AU  - Haibin Lin
AU  - Aurojit Panda
PY  - 2025
UR  - https://arxiv.org/abs/2508.09505
ID  - 2508.09505
ER  -