Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
haielab
/
STP_model_Lean_0320-conjecture-base
like
0
Transformers
Safetensors
arxiv:
1910.09700
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
STP_model_Lean_0320-conjecture-base
259 MB
Ctrl+K
Ctrl+K
1 contributor
History:
3 commits
haielab
Upload tokenizer
afd1131
verified
10 months ago
.gitattributes
Safe
1.52 kB
initial commit
10 months ago
README.md
Safe
5.17 kB
Upload model
10 months ago
adapter_config.json
Safe
811 Bytes
Upload model
10 months ago
adapter_model.safetensors
252 MB
xet
Upload model
10 months ago
chat_template.jinja
Safe
886 Bytes
Upload tokenizer
10 months ago
special_tokens_map.json
Safe
599 Bytes
Upload tokenizer
10 months ago
tokenizer.json
Safe
7.5 MB
Upload tokenizer
10 months ago
tokenizer_config.json
Safe
1.24 kB
Upload tokenizer
10 months ago
