GCD Datasets for Self-Proving Models
收藏官方服务：
资源简介：
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-16
