Official HuggingFace collection for "Learning Project-wise Subsequent Code Edits via Interleaving Neural-based Induction and Tool-based Deduction"