@misc{indiciae45f02bede42a,
  title = {Efficient Certified Reasoning for Binarized Neural Networks},
  author = {Jiong Yang and Yong Kiam Tan and Mate Soos and Magnus O. Myreen and Kuldeep S. Meel},
  year = {2025},
  url = {https://arxiv.org/abs/2507.02916},
  note = {Source identifier: 2507.02916}
}