@misc{indiciae82e0496d93fa,
  title = {Verifying a Sparse Matrix Algorithm Using Symbolic Execution},
  author = {Alexander C. Wilton},
  year = {2025},
  doi = {10.4204/eptcs.432.5},
  url = {https://arxiv.org/abs/2510.13424},
  note = {Source identifier: 2510.13424}
}