NJUDeepEngine
/

llm_based_atp

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

15.2 GB

Ctrl+K

Ctrl+K

2 contributors

History: 4 commits

ParagonLight's picture

Update README.md

a9dde19 verified 11 months ago

.gitattributes

1.57 kB
Upload folder using huggingface_hub about 1 year ago
README.md

649 Bytes
Update README.md 11 months ago
added_tokens.json

605 Bytes
Upload folder using huggingface_hub about 1 year ago
config.json

703 Bytes
Upload folder using huggingface_hub about 1 year ago
configuration.json

38 Bytes
Upload folder using huggingface_hub about 1 year ago
generation_config.json

117 Bytes
Upload folder using huggingface_hub about 1 year ago
merges.txt

1.67 MB
Upload folder using huggingface_hub about 1 year ago
model-00001-of-00004.safetensors

4.88 GB
xet

Upload folder using huggingface_hub about 1 year ago
model-00002-of-00004.safetensors

4.93 GB
xet

Upload folder using huggingface_hub about 1 year ago
model-00003-of-00004.safetensors

4.33 GB
xet

Upload folder using huggingface_hub about 1 year ago
model-00004-of-00004.safetensors

1.09 GB
xet

Upload folder using huggingface_hub about 1 year ago
model.safetensors.index.json

27.8 kB
Upload folder using huggingface_hub about 1 year ago
special_tokens_map.json

616 Bytes
Upload folder using huggingface_hub about 1 year ago
tokenizer.json

11.4 MB
xet

Upload folder using huggingface_hub about 1 year ago
tokenizer_config.json

7.38 kB
Upload folder using huggingface_hub about 1 year ago
vocab.json

2.78 MB
Upload folder using huggingface_hub about 1 year ago