TrainVerify: Equivalence-Based Verification for Distributed LLM Training.

Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang

Browse the full SOSP paper archive.