TY  - RPRT
TI  - Abstraction-Based Proof Production in Formal Verification of Neural Networks
AU  - Yizhak Yisrael Elboher
AU  - Omri Isac
AU  - Guy Katz
AU  - Tobias Ladner
AU  - Haoze Wu
PY  - 2025
UR  - https://arxiv.org/abs/2506.09455
ID  - 2506.09455
ER  -