Back to results
University of Illinois Urbana-Champaign
SDP-CROWN: Efficient bound propagation for neural network verification with tightness of semidefinite programming
Abstract
dc:descriptionSubmission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-19 without embargo terms
Degree
thesis:*- Name thesis:degree_name
- M.S.
- Level thesis:degree_level
- Thesis
- Discipline thesis:degree_discipline
- Electrical & Computer Engr
- Grantor
- University of Illinois Urbana-Champaign
- Year dc:date
- 2025
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Chen, Hao
- Contributors dc:contributor
-
- Zhang, Huan
Subjects
dc:subject × 2Rights
dc:rights- Statement dc:rights
-
- Copyright 2025 Hao Chen
- Language dc:language
- en, eng
Identifiers
dc:identifier.*- Handle dc:identifier
- https://hdl.handle.net/2142/129276
- OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/129276