TrainVerify verifies distributed LLM training execution plans against logical model definitions using symbolic dataflow graphs, shape reduction, and staged SMT solving, scaling to 671B-parameter models.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DC 1years
2025 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
TrainVerify: Equivalence-Based Verification for Distributed LLM Training
TrainVerify verifies distributed LLM training execution plans against logical model definitions using symbolic dataflow graphs, shape reduction, and staged SMT solving, scaling to 671B-parameter models.