An automatic system to detect equivalence between iterative algorithms

Shipu Zhao, Laurent Lessard, Madeleine Udell

When are two algorithms the same? How can we be sure a recently proposed algorithm is novel, and not a minor twist on an existing method? In this paper, we present a framework for…