NuminaMath-LEAN-Aesop-Config

该数据集包含37,346个训练样本，总大小约为30.4MB。每个样本包含以下字段：定理陈述（字符串类型）、策略字符串（字符串类型）、奖励值（浮点数类型）、引理名称列表（字符串列表）和引理分数列表（浮点数列表）。数据集仅提供训练集分割，下载大小约为4.2MB。从字段名称推断，该数据集可能涉及数学定理证明或策略学习领域，但README中未提供明确的应用场景描述。