diff --git a/README.md b/README.md index 5e717b1..e3936e9 100644 --- a/README.md +++ b/README.md @@ -238,7 +238,6 @@ conda create --yes --name ReProver python=3.11 ipython conda activate ReProver pip install torch # Depending on your CUDA version; see https://pytorch.org/. pip install tqdm loguru deepspeed "pytorch-lightning[extra]" transformers wandb openai rank_bm25 lean-dojo vllm -pip install git+https://github.com/pytorch/torchtune ``` 3. Prepend the repo's root to the `PYTHONPATH` environment variable. 4. Make sure `wget` and `tar` are available. Then, run `python scripts/download_data.py` to download [LeanDojo Benchmark 4](https://zenodo.org/doi/10.5281/zenodo.8040109). They will be saved to `./data`.