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

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Xue, Zhantong, Ma, Pingchuan, Wang, Zhaoyu, Zhou, Yuguang, Zhang, Xiaoqin, Wang, Shuai, Rahmel, Juergen
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!