When Deep Learning Meets Polyhedral Theory: A Survey | Synapse