@misc{indiciaef1d4a7f94205,
  title = {Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks},
  author = {Kahfi S. Zulkifli and Wenbo Qian and Shaowei Zhu and Yuan Zhou and Zhen Zhang and Chang Lou},
  year = {2025},
  url = {https://arxiv.org/abs/2509.10694},
  note = {Source identifier: 2509.10694}
}