Hugging Face's logo

purewhite42
/
bm25_f

Sentence Similarity
Transformers
English
lean4
dependency-retrieval
formal-mathematics
Inference Endpoints
Model card Files Community
purewhite42 commited on
Commit
c498946
·
verified ·
1 Parent(s): 722bc0a

Add files using upload-large-folder tool

Browse files
Files changed (1) hide show
  1. tokenizer +0 -0
tokenizer ADDED
The diff for this file is too large to render. See raw diff