Algorithm-Based Fault Tolerance for Matrix Operations | Synapse