Work

Verification of Neural Network Robustness Against Weight Perturbations Using Star Sets

Year: 2025

Type: conference-paper

Source: IEEE Conference on Artificial Intelligence (CAI)

DOI: 10.1109/cai64502.2025.00117

Authors: Muhammad Usama Zubair, Taylor T. Johnson, Kanad Basu, Waseem Abbas

Institutions: The University of Texas at Dallas, Vanderbilt University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4412082124

FWCI:

Cites: 26

Cited by:

Related to: 10