Stochastic Reformulations of Linear Systems: Algorithms and Convergence Theory | Read Paper on Bytez