Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Formal-Math-Reasoning
/
DRIFT-dpr-mathlib
like
0
Follow
Formal-Math-Reasoning
1
Safetensors
xlm-roberta
Model card
Files
Files and versions
xet
Community
main
DRIFT-dpr-mathlib
2.3 GB
1 contributor
History:
2 commits
pborchert
Upload folder using huggingface_hub
00cf8df
verified
4 days ago
.gitattributes
1.57 kB
Upload folder using huggingface_hub
4 days ago
colbert_linear.pt
4.2 MB
xet
Upload folder using huggingface_hub
4 days ago
config.json
658 Bytes
Upload folder using huggingface_hub
4 days ago
model.safetensors
2.27 GB
xet
Upload folder using huggingface_hub
4 days ago
sentencepiece.bpe.model
5.07 MB
xet
Upload folder using huggingface_hub
4 days ago
sparse_linear.pt
5.56 kB
xet
Upload folder using huggingface_hub
4 days ago
special_tokens_map.json
964 Bytes
Upload folder using huggingface_hub
4 days ago
tokenizer.json
17.1 MB
xet
Upload folder using huggingface_hub
4 days ago
tokenizer_config.json
1.31 kB
Upload folder using huggingface_hub
4 days ago