Provable Algorithms for Multi-Reference Alignment over SO(2) | AMiner