Mingzheng Gu

Publication Activity (10 Years)

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

Top Topics

Linear Approximation

Expectation Maximization

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Jiawei Liu, Yuheng Huang, Zhijie Wang, Lei Ma, Chunrong Fang, Mingzheng Gu, Xufan Zhang, Zhenyu Chen
Generation-based Differential Fuzzing for Deep Learning Libraries. ACM Trans. Softw. Eng. Methodol. 33 (2) (2024)
Yuan Xiao, Tongtong Bai, Mingzheng Gu, Chunrong Fang, Zhenyu Chen
Certifying Robustness of Convolutional Neural Networks with Tight Linear Approximation. CoRR (2022)