Login
- Titel:
Abstraction-Based Proof Production in Formal Verification of Neural Networks
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Elboher, Yizhak Yisrael; Isac, Omri; Katz, Guy; Ladner, Tobias; Wu, Haoze
- Zeitschriftentitel:
- International Symposium on AI Verification (SAIV)
- Jahr:
- 2025
- Volltext / DOI:
- doi:10.48550/arxiv.2506.09455
- WWW:
- OpenRevievw
- Publikationsdatum:
- 01.01.2025
BibTeX