TY  - RPRT
TI  - From Evaluation to Enhancement: Large Language Models for Zero-Knowledge Proof Code Generation
AU  - Zhantong Xue
AU  - Pingchuan Ma
AU  - Zhaoyu Wang
AU  - Yuguang Zhou
AU  - Xiaoqin Zhang
AU  - Shuai Wang
AU  - Juergen Rahmel
PY  - 2026
UR  - https://arxiv.org/abs/2509.11708
ID  - 2509.11708
ER  -