flyyinghui
/

embeddinggemma-2-lean

Sentence Similarity

sentence-transformers

embedding_gemma2

feature-extraction

Generated from Trainer

dataset_size:346930

loss:MultipleNegativesRankingLoss

Eval Results (legacy)

Model card Files Files and versions

embeddinggemma-2-lean / data

Commit History

Oct 13 24 days ago

02:40
Upload index/names.json

flyyinghui

Verified signature
6fad8d6
02:40
Upload index/emb.npy (预建索引 16.7万×768)

flyyinghui

Verified signature
9fb8934
02:37
Upload declarations_18w.jsonl (16.7万精选 theorem)

flyyinghui

Verified signature
179ebee
02:37
Upload declarations.jsonl (185万 Lean 声明库)

flyyinghui

Verified signature
7d63c01