A Survey of Zero-Knowledge Proof Based Verifiable Machine Learning. - Zhizhi Peng; Taotao Wang; Chonghe Zhao; Guofu Liao; Zibin Lin; Yifeng Liu; Bin Cao 002; Long Shi 001; Qing Yang 006; Sheng-Li Zhang 001 (CoRR, 2025)