Conformal Mixed-Integer Constraint Learning with Feasibility Guarantees - Ovalle, Daniel; Biegler, Lorenz; Grossmann, Ignacio; Laird, Carl; Dulce Rubio, Mateo (Advances in Neural Information Processing Systems, 2025)