From Evaluation to Enhancement: Large Language Models for Zero-Knowledge Proof Code Generation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Xue, Zhantong, Ma, Pingchuan, Wang, Zhaoyu, Zhou, Yuguang, Zhang, Xiaoqin, Wang, Shuai, Rahmel, Juergen
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

https://arxiv.org/abs/2509.11708