lean-dojo
wandb
pytorch-lightning[extra]
transformers
gymnasium
loguru
networkx
lxml
deepspeed
rank_bm25
vllm
tqdm
numpy
matplotlib
jupyter
ipykernel
torch
PyGithub
openai
pre-commit
autoflake
types-tqdm
types-setuptools
cython
