Boosting Verified Training for Robust Image Classifications via Abstraction | Read Paper on Bytez