← Decoding Reed-Muller codes over product sets