http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification

Kaulen, Konstantin (Corresponding author)^RWTH* ; König, Matthias (Corresponding author) ; Hoos, Holger Hendrik (Corresponding author)^RWTH*

In
Thirty-Ninth AAAI Conference on Artificial Intelligence, Thirty-Seventh Conference on Innovative Applications of Artificial Intelligence, Fifteenth Symposium on Educational Advances in Artificial Intelligence : February 25–March 4, 2025, Philadelphia, Pennsylvania / Edited by Toby Walsh, Julie Shah, Zico Kolter ; Sponsored by the Association for the Advancement of Artificial Intelligence, Seiten/Artikel-Nr: 27356-27364

2025

Konferenz/Event:39. AAAI Conference on Artificial Intelligence , Philadelphia, PA , USA , 2025-02-25 - 2025-03-04

Konferenz/Event:15. Symposium on Educational Advances in Artificial Intelligence 37. Conference on Innovative Applications of Artificial Intelligence , Philadelphia, PA Philadelphia, PA , USA USA , EAAI 2025 IAAI 2025 , 2025-03-01 - 2025-03-02 2025-02-28 - 2025-03-01

ImpressumWashington, DC, USA : AAAI Press

Umfang27356-27364

ISBN1-57735-897-X, 978-1-57735-897-8

ReiheProceedings of the AAAI Conference on Artificial Intelligence ; 39,26

Online
DOI: 10.1609/aaai.v39i26.34946
10.1609/aaai.v39i26.34946

Einrichtungen

1. Lehrstuhl für Methodik der Künstlichen Intelligenz (Informatik 14) (125710)
2. Fachgruppe Informatik (120000)

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer review status of article unknown

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105004001675
WOS Core Collection: WOS:001477484500020

Interne Identnummern
RWTH-2025-06774
Datensatz-ID: 1016149

Beteiligte Länder
Germany, Netherlands