@misc{indiciaeba0205723b68,
  title = {An automatic system to detect equivalence between iterative algorithms},
  author = {Shipu Zhao and Laurent Lessard and Madeleine Udell},
  year = {2025},
  url = {https://arxiv.org/abs/2105.04684},
  note = {Source identifier: 2105.04684}
}