A verification tool for ensuring parallelization equivalence in distributed model training. - View it on GitHub