8/29, Presenter: Kahfi Soobhan Zulkifli Yunchi Lu, Cheng Tan, Youshan Miao, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang, Verifying Distributed Deep Learning Training via Parallelization Equivalence, SOSP 2025.