Current position: Home >> Scientific Research >> Paper Publications

A Dual Relaxation Method for Neural Network Verification

Release Time:2025-03-07  Hits:

Indexed by: Journal Papers

Document Code: 394170

Date of Publication: 2024-08-11

Journal: INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING

Volume: 34

Issue: 08

Page Number: 1199-1220

ISSN: 0218-1940

Next One:A Single-sample Pruning and Clustering Method for Neural Network Verification