Proving Linear Mode Connectivity of Neural Networks via Optimal Transport (2023-10-29T00:00:00.000000Z)