hanwenzhu
/

wip-lean-embeddings

Model card Files Files and versions

wip-lean-embeddings

16.6 GB

1 contributor

History: 41 commits

hanwenzhu's picture

Upload mathlib_premises_418.tar.gz with huggingface_hub

0b84d8b verified 10 months ago

.gitattributes
2.02 kB

Upload train-and-predict-rf.extracted.+all.+n.+b.23685.forest with huggingface_hub 11 months ago
embeddings_all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5_416.npy
408 MB
xet

Upload embeddings_all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5_416.npy with huggingface_hub 11 months ago
embeddings_all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5_418.npy
435 MB
xet

Upload embeddings_all-MiniLM-L12-v2-lr2e-4-bs256-nneg3-ml-ne5_418.npy with huggingface_hub 10 months ago
embeddings_all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5_416.npy
815 MB
xet

Upload embeddings_all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5_416.npy with huggingface_hub 11 months ago
embeddings_all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5_418.npy
870 MB
xet

Upload embeddings_all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne5_418.npy with huggingface_hub 10 months ago
embeddings_all-roberta-large-v1-lr5e-5-bs256-nneg3-ml_416.npy
1.09 GB
xet

Rename embeddings_{model_name}_416.npy to embeddings_all-roberta-large-v1-lr5e-5-bs256-nneg3-ml_416.npy 11 months ago
embeddings_mathlib_414.npy
772 MB
xet

Upload embeddings_mathlib_414.npy with huggingface_hub about 1 year ago
embeddings_mathlib_415.npy
804 MB
xet

Upload embeddings_mathlib_415.npy with huggingface_hub 12 months ago
embeddings_mathlib_416.npy
815 MB
xet

Upload embeddings_mathlib_416.npy with huggingface_hub 11 months ago
eval_decls_feb04.json
209 kB

Upload eval_decls_feb04.json with huggingface_hub about 1 year ago
eval_decls_feb10.json
211 kB

Upload eval_decls_feb10.json with huggingface_hub about 1 year ago
mathlib_data_414.tar.gz
833 MB
xet

Upload mathlib_data_414.tar.gz with huggingface_hub about 1 year ago
mathlib_data_415.tar.gz
621 MB
xet

Upload mathlib_data_415.tar.gz with huggingface_hub 12 months ago
mathlib_data_416.tar.gz
621 MB
xet

Upload mathlib_data_416.tar.gz with huggingface_hub 12 months ago
mathlib_premises_414.tar.gz
80 MB
xet

Upload mathlib_premises_414.tar.gz with huggingface_hub about 1 year ago
mathlib_premises_415.tar.gz
83.1 MB
xet

Upload mathlib_premises_415.tar.gz with huggingface_hub 12 months ago
mathlib_premises_416.tar.gz
87.2 MB
xet

Upload mathlib_premises_416.tar.gz with huggingface_hub 12 months ago
mathlib_premises_418.tar.gz
99.8 MB
xet

Upload mathlib_premises_418.tar.gz with huggingface_hub 10 months ago
outdated_retrieved_premises_jan13.json
71.4 MB
xet

Rename retrieved_premises_jan13.json to outdated_retrieved_premises_jan13.json about 1 year ago
retrieved_premises_feb04.json
35.9 MB
xet

Upload retrieved_premises_feb04.json with huggingface_hub about 1 year ago
retrieved_premises_feb22.json
36.4 MB
xet

Upload retrieved_premises_feb22.json with huggingface_hub 12 months ago
retrieved_premises_mar03.json
37.3 MB
xet

Upload retrieved_premises_mar03.json with huggingface_hub 12 months ago
retrieved_premises_mar13.json
37.3 MB
xet

Upload retrieved_premises_mar13.json with huggingface_hub 11 months ago
tactic_benchmark.py
7.54 kB

Upload tactic_benchmark.py with huggingface_hub about 1 year ago
train-and-predict-rf.extracted.+all.+n.+b.23685.forest
7.99 GB
xet

Upload train-and-predict-rf.extracted.+all.+n.+b.23685.forest with huggingface_hub 11 months ago