Zhiyang Cheng

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Pruning Algorithm

Top Venues

IEEE Trans. Cogn. Commun. Netw.

Publications

Weiru Wang, Kai Wang, Zhiyang Cheng, Yilong Yang
VeriPrune: Equivalence verification of node pruned neural network. Neurocomputing 577 (2024)
Zhiyang Cheng, Yifei Liang, Youping Zhao, Shuo Wang, Chen Sun
A Multi-Blockchain Scheme for Distributed Spectrum Sharing in CBRS System. IEEE Trans. Cogn. Commun. Netw. 9 (2) (2023)
Zhiyang Cheng, Dongzhi Zhu, Youping Zhao, Chen Sun
Flexible Virtual Cell Design for Ultradense Networks: A Machine Learning Approach. IEEE Access 9 (2021)