Deep Learning-Based Refactoring with Formally Verified Training Data | Publicación