Equivariant Lagrangian correspondences and applications