Jia-Hau Bai

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Formal Verification

Computationally Efficient

Intrusion Detection

Convolutional Neural Network

Top Venues

Publications

Jia-Hau Bai, Chi-Ting Liu, Yu Wang, Fu-Chieh Chang, Pei-Yuan Wu
CAPM: Fast and Robust Verification on Maxpool-based CNN via Dual Network. CoRR (2024)