TY  - RPRT
TI  - An automatic system to detect equivalence between iterative algorithms
AU  - Shipu Zhao
AU  - Laurent Lessard
AU  - Madeleine Udell
PY  - 2025
UR  - https://arxiv.org/abs/2105.04684
ID  - 2105.04684
ER  -