Jiakun Zhang

According to our database, Jiakun Zhang authored at least 6 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving.

Shuo Xu, Jiakun Zhang, Junyu Lai, Chun Cao, Jingwei Xu

CoRR, May, 2026

CoCache: Accelerating Reads in KV Stores via Cooperative Metadata and Data Cache Management.

Haoting Tang, Wenzhe Zhu, Qingyang Zhang, Jiakun Zhang, Junlin Jiang, Zaigui Zhang, Haijun Zhang, Yongkun Li, Yinlong Xu

Proceedings of the 40th ACM International Conference on Supercomputing, 2026

2025

LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation.

Junyu Lai, Jiakun Zhang, Shuo Xu, Taolue Chen, Zihang Wang, Yao Yang, Jiarui Zhang, Chun Cao, Jingwei Xu

CoRR, May, 2025

A numerical optimization scheme for solving systems of fractional-order differential equations.

Fengying Zhou, Jiakun Zhang

Int. J. Comput. Math., 2025

2024

2D scale-3 fractional Euler wavelets optimization algorithm for fractional-order differential equations.

Fengying Zhou, Jiakun Zhang

J. Comput. Sci., 2024

2016

A photogrammetry pose measurement method for moving targets in a wind tunnel.

Xin Ma, Wei Liu, Ling Chen, Jiwen Lu, Weixiao Liu, Jiakun Zhang, Zhenyuan Jia, Changyu Long, Zaihua Yang, Wangmin Yi

Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2016