%APaulsen, Brandon%AWang, Chao%D2022%I %K %MOSTI ID: 10321415 %PMedium: X %TLinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions %X Country unknown/Code not availablehttps://doi.org/10.1007/978-3-030-99524-9_19OSTI-MSA