ArxivMath推理

汇总 1 个公开数据来源和 10 个模型成绩。