APA (7th ed.) Citation

Xue, Z., Ma, P., Wang, Z., Zhou, Y., Zhang, X., Wang, S., & Rahmel, J. (2025). From Evaluation to Enhancement: Large Language Models for Zero-Knowledge Proof Code Generation.

Chicago Style (17th ed.) Citation

Xue, Zhantong, Pingchuan Ma, Zhaoyu Wang, Yuguang Zhou, Xiaoqin Zhang, Shuai Wang, and Juergen Rahmel. From Evaluation to Enhancement: Large Language Models for Zero-Knowledge Proof Code Generation. 2025.

MLA (9th ed.) Citation

Xue, Zhantong, et al. From Evaluation to Enhancement: Large Language Models for Zero-Knowledge Proof Code Generation. 2025.