JetBrains-Research
/

rocq-language-theorem-embeddings

Model card Files Files and versions Community

rocq-language-theorem-embeddings

Ctrl+K

Ctrl+K

2 contributors

History: 3 commits

kdizzled's picture

Upload folder using huggingface_hub

4a9c3b7 verified 3 months ago

.gitattributes

1.52 kB

initial commit 3 months ago
README.md

5.3 kB

Create README.md 3 months ago
config.json

712 Bytes

Upload folder using huggingface_hub 3 months ago
merges.txt

456 kB

Upload folder using huggingface_hub 3 months ago
pytorch_model.bin
Detected Pickle imports (3)
- "torch._utils._rebuild_tensor_v2",
- "torch.FloatStorage",
- "collections.OrderedDict"
What is a pickle import?
499 MB
LFS

Upload folder using huggingface_hub 3 months ago
special_tokens_map.json

958 Bytes

Upload folder using huggingface_hub 3 months ago
tokenizer_config.json

1.22 kB

Upload folder using huggingface_hub 3 months ago
training_args.txt

1.25 kB

Upload folder using huggingface_hub 3 months ago
vocab.json

999 kB

Upload folder using huggingface_hub 3 months ago