On the Convergence of Proximal Algorithms for Weakly-convex Min-max Optimization | Synapse