An Upper Bound on the Error Probability of RPA Decoding of Reed-Muller Codes Over the BSC - Rameshwar, V Arvind (arXiv.org)