Learning to Remove Cuts in Integer Linear Programming | Synapse