@misc{indiciaea61f8fd53b8e,
  title = {LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions},
  author = {Brandon Paulsen and Chao Wang},
  year = {2022},
  url = {https://arxiv.org/abs/2201.13351},
  note = {Source identifier: 2201.13351}
}