LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions - Brandon Paulsen (2022)