Verify Distributed Deep Learning Model Implementation Refinement with Iterative Relation Inference.

Zhanghan Wang Ding Ding Hang Zhu Haibin Lin Aurojit Panda Verify Distributed Deep Learning Model Implementation Refinement with Iterative Relation Inference. 2025 August abs/2508.09505 CoRR https://doi.org/10.48550/arXiv.2508.09505 db/journals/corr/corr2508.html#abs-2508-09505 streams/journals/corr