LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions.

Brandon Paulsen, Chao Wang

Browse the full TACAS paper archive.