Generalization Guarantees for Learning Score-Based Branch-and-Cut Policies in Integer Programming - Cheng, Hongyu; Basu, Amitabh (Advances in Neural Information Processing Systems, 2025)