mlfoundations-dev/putnambench_r1

该数据集是一个名为putnambench_r1的数学问题数据集，包含各种数学问题的陈述、非正式陈述、解决方案、标签、不同数学软件的陈述、推理和解决方案等。数据集包含训练集，共有492个样本，文件大小为17861397字节。数据集主要用于研究数学问题的自动推理和验证。