@inproceedings{TrainVerifySOSP2025,
  author = {Lu, Yunchi and Miao, Youshan and Tan, Cheng and Huang, Peng and Zhu, Yi and Zhang, Xian and Yang, Fan},
  title = {{TrainVerify}: Equivalence-Based Verification for Distributed {LLM} Training},
  year = {2025},
  isbn = {9798400718700},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3731569.3764850},
  doi = {10.1145/3731569.3764850},
  booktitle = {Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles},
  pages = {237–253},
  numpages = {17},
  keywords = {deep neural network, model parallelization, equivalence checking, formal verification, symbolic execution},
  location = {Lotte Hotel World, Seoul, Republic of Korea},
  series = {SOSP '25}
}