Yunhan Xing

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Signature Verification

Hardware Designs

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks. ACM Trans. Softw. Eng. Methodol. 33 (5) (2024)
Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks. CoRR (2022)