GCD Datasets for Self-Proving Models
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/12751513
下载链接
链接失效反馈官方服务：
资源简介：
Transcripts and annotated transcripts for training Self-Proving Models to compute the Greatest Common Divisor (GCD) of two integers. Integers are encoded in base 210. Full details of the tokenization scheme can be found in the paper.
创建时间：
2024-07-23
