@misc{indiciaec558cb6f1c15,
  title = {Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I},
  author = {Junchao Zhang},
  year = {2025},
  doi = {10.4204/eptcs.432.11},
  url = {https://arxiv.org/abs/2510.13427},
  note = {Source identifier: 2510.13427}
}