PyPI page
Home page
Author:
None
Summary:
Python library for training LLMs with Interactive Theorem Proving data.
Latest version:
1.1.9
Required dependencies:
accelerate
|
bitsandbytes
|
comet-ml
|
filelock
|
gradio
|
graphviz
|
itp-interface
|
parglare
|
peft
|
protobuf
|
pydantic
|
scipy
|
sentencepiece
|
spaces
|
transformers
|
trl
Downloads last day:
0
Downloads last week:
19
Downloads last month:
32