PyPI page
Home page
Author:
None
Summary:
Reinforcement learning for Lean theorem proving
Latest version:
0.3.0
Required dependencies:
autoflake
|
cython
|
deepspeed
|
gymnasium
|
ipykernel
|
jupyter
|
lean-dojo
|
loguru
|
lxml
|
matplotlib
|
networkx
|
numpy
|
openai
|
pre-commit
|
pygithub
|
pytorch-lightning
|
rank_bm25
|
torch
|
tqdm
|
transformers
|
types-setuptools
|
types-tqdm
|
vllm
|
wandb
Downloads last day:
17
Downloads last week:
43
Downloads last month:
49