TrainVerify: Equivalence-Based Verification for Distributed LLM Training
Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles (SOSP’25) | October 2025