On the Paradox of Certified Training (TMLR 10/2022) - View it on GitHub