@misc{indiciaef53e0647b231,
  title = {Efficient Symbolic Reasoning for Neural-Network Verification},
  author = {Zi Wang and Somesh Jha and Krishnamurthy and Dvijotham},
  year = {2023},
  url = {https://arxiv.org/abs/2303.13588},
  note = {Source identifier: 2303.13588}
}