mlfoundations-dev/putnam_bench_r1

这是一个名为putnam_bench_r1的数据集，使用Curator工具创建，用于分析数论问题。数据集中包含用Lean 4、Coq和Isabelle等不同形式语言表达的问题和解决方案。这些问题涉及找到涉及最大整数k的极限和性质，k是5的幂次能够整除一系列数字的幂的乘积的次数。数据集标记为分析和数论。README还详细讨论了解决这些问题所涉及的推理和计算。