Machine Learning for Cutting Planes in Integer Programming: A Survey - Arnaud Deza; Elias B. Khalil (2023)