Dong Xu

Publication Activity (10 Years)

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

Top Topics

Training Process

Stability Analysis

Video Sequences

Top Venues

Proc. ACM Softw. Eng.

Publications

Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
Harnessing Neuron Stability to Improve DNN Verification. CoRR (2024)
Dong Xu, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer
Training for Verification: Increasing Neuron Stability to Scale DNN Verification. TACAS (3) (2024)
Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
Harnessing Neuron Stability to Improve DNN Verification. Proc. ACM Softw. Eng. 1 (FSE) (2024)