Before revision:  Paradoxically, however, it was empirically observed that training with tighter relaxations can worsen certified robustness.
After revision:  Paradoxically, however, it was empirically observed that training with tighter relaxations can often lead to worse certified robustness.