All Stories

  1. TrainVerify: Equivalence-Based Verification for Distributed LLM Training

    Article • October 2025, ACM (Association for Computing Machinery)

    Yunchi Lu