TY  - RPRT
TI  - Efficient Certified Reasoning for Binarized Neural Networks
AU  - Jiong Yang
AU  - Yong Kiam Tan
AU  - Mate Soos
AU  - Magnus O. Myreen
AU  - Kuldeep S. Meel
PY  - 2025
UR  - https://arxiv.org/abs/2507.02916
ID  - 2507.02916
ER  -