Formalization of Function Matrix Theory in HOL. - Zhiping Shi 002; Zhenke Liu; Yong Guan; Shiwei Ye; Jie Zhang 074; Hongxing Wei (J. Appl. Math., 2014)

Graph Neural Network for spatiotemporal data: methods and applications. - Yun Li 005; Dazhou Yu; Zhenke Liu; Minxing Zhang; Xiaoyun Gong; Liang Zhao 002 (CoRR, 2023)

Large Language Models for Spatial Trajectory Patterns Mining. - Zheng Zhang 047; Hossein Amiri; Zhenke Liu; Andreas Züfle; Liang Zhao 002 (CoRR, 2023)

SurroCBM: Concept Bottleneck Surrogate Models for Generative Post-hoc Explanation. - Bo Pan; Zhenke Liu; Yifei Zhang 006; Liang Zhao 002 (CoRR, 2023)

STES: A Spatiotemporal Explanation Supervision Framework. - Dazhou Yu; Binbin Chen; Yun Li 005; Suman Dhakal; Yifei Zhang 006; Zhenke Liu; Minxing Zhang; Jie Zhang; Liang Zhao 002 (SDM, 2024)

Explaining latent representations of generative models with large multimodal models. - Mengdan Zhu; Zhenke Liu; Bo Pan; Abhinav Angirekula; Liang Zhao 002 (CoRR, 2024)

eccDNAMamba: A Pre-Trained Model for Ultra-Long eccDNA Sequence Analysis. - Zhenke Liu; Jien Li; Ziqi Zhang (CoRR, 2025)