Login
- Title:
Abstraction-Based Proof Production in Formal Verification of Neural Networks
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Elboher, Yizhak Yisrael; Isac, Omri; Katz, Guy; Ladner, Tobias; Wu, Haoze
- Journal title:
- Proceedings of the 8th International Symposium on AI Verification (SAIV)
- Year:
- 2025
- Fulltext / DOI:
- doi:10.48550/ARXIV.2506.09455
- WWW:
- OpenRevievw
- Date of publication:
- 01.01.2025
BibTeX