@misc{indiciae7d86b34e12ca,
  title = {From Evaluation to Enhancement: Large Language Models for Zero-Knowledge Proof Code Generation},
  author = {Zhantong Xue and Pingchuan Ma and Zhaoyu Wang and Yuguang Zhou and Xiaoqin Zhang and Shuai Wang and Juergen Rahmel},
  year = {2026},
  url = {https://arxiv.org/abs/2509.11708},
  note = {Source identifier: 2509.11708}
}