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

A Dual Relaxation Method for Neural Network Verification

Hits:

Date of Publication:2024-06-06

Journal:INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING

ISSN No.:0218-1940

Next One:A Single-sample Pruning and Clustering Method for Neural Network Verification
Recommended Ph.D.Supervisor Recommended MA Supervisor Institutional Repository Personal Page

Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024

Click : times
  • MOBILE Version
    •
    Open time:..
    The Last Update Time:..

    Mobile phone sweep