TY  - RPRT
TI  - Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I
AU  - Junchao Zhang
PY  - 2025
DO  - 10.4204/eptcs.432.11
UR  - https://arxiv.org/abs/2510.13427
ID  - 2510.13427
ER  -