File size: 655 Bytes
dfe1826 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | #!/usr/bin/env bash
# Download the pinned sources of data/eval.jsonl into data/raw/ (not in git).
# The commits must match data/curation/criteria.yaml.
set -euo pipefail
cd "$(dirname "$0")/.."
MINIF2F_COMMIT=2c4ba9119eef74d0d611f494261b2c5bae98c69a
PUTNAM_COMMIT=a635813f5edf297d928f9bd5ef8324a26bdde09c
mkdir -p data/raw
curl -sSfL -o data/raw/minif2f.jsonl \
"https://raw.githubusercontent.com/deepseek-ai/DeepSeek-Prover-V1.5/${MINIF2F_COMMIT}/datasets/minif2f.jsonl"
if [ ! -d data/raw/putnam ]; then
git clone --quiet https://github.com/trishullab/PutnamBench.git data/raw/putnam
fi
git -C data/raw/putnam checkout --quiet "${PUTNAM_COMMIT}"
|