Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks. - Masoud Ataei; Edrin Hasaj; Jacob Gipp; Sepideh Forouzi (CoRR, 2025)