Research on Domain-Specific Text Classifier. - Zengmin Geng; Jujian Zhang; Xuefei Li; Jianxia Du (CSIE (5), 2009)

Modeling of Resources Management Based on Hierarchical Concept and Nested Theory. - Jujian Zhang (AIAM (IEEE), 2019)

Content Extraction Method of Educational Resources Based on DOM. - Jujian Zhang; Ting Cheng (CIPAE, 2020)

Multi-Metric Induced Robust Graph. - Zengmin Geng; Xiaodong Sun; Jianxia Du; Jujian Zhang; Yiling Zhou (IEEE Access, 2021)

Graded Rings in Lean's Dependent Type Theory. - Eric Wieser; Jujian Zhang (CICM, 2022)

Formalising the Proj Construction in Lean. - Jujian Zhang (ITP, 2023)

Formalisation of the Category of Hopf Algebras in Lean4. - Jujian Zhang; Yunzhou Xie; Yichen Feng; Yanqiao Zhou (ICMS, 2024)

CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics. - Junqi Liu; Xiaohan Lin; Jonas Bayer; Yael Dillies; Weijie Jiang; Xiaodan Liang; Roman Soletskyi; Haiming Wang; Yunzhou Xie; Beibei Xiong; Zhengfeng Yang; Jujian Zhang; et al. (CoRR, 2025)