Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
purewhite42
/
rautoformalizer_gtra_deepseek
like
0
Text Generation
Transformers
PyTorch
hoskinson-center/proofnet
English
llama
lean4
statement-autoformalization
formal-mathematics
text-generation-inference
Inference Endpoints
License:
apache-2.0
Model card
Files
Files and versions
Community
Train
Deploy
Use this model
main
rautoformalizer_gtra_deepseek
1 contributor
History:
3 commits
purewhite42
Create README.md
d37986b
verified
10 days ago
.gitattributes
Safe
1.52 kB
initial commit
12 days ago
README.md
Safe
6.28 kB
Create README.md
10 days ago
config.json
Safe
732 Bytes
Add files using upload-large-folder tool
11 days ago
generation_config.json
Safe
121 Bytes
Add files using upload-large-folder tool
11 days ago
pytorch_model-00001-of-00008.bin
1.96 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model-00002-of-00008.bin
1.93 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model-00003-of-00008.bin
1.93 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model-00004-of-00008.bin
1.99 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model-00005-of-00008.bin
1.99 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model-00006-of-00008.bin
1.99 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model-00007-of-00008.bin
1.18 GB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model-00008-of-00008.bin
839 MB
LFS
Add files using upload-large-folder tool
11 days ago
pytorch_model.bin.index.json
Safe
22.5 kB
Add files using upload-large-folder tool
11 days ago
special_tokens_map.json
Safe
323 Bytes
Add files using upload-large-folder tool
11 days ago
tokenizer.json
Safe
7.5 MB
Add files using upload-large-folder tool
11 days ago
tokenizer_config.json
Safe
833 Bytes
Add files using upload-large-folder tool
11 days ago
