Strong mixed-integer programming formulations for trained neural networks

Re-assign community