sentence-transformers How to use hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-mar13 with sentence-transformers:
from sentence_transformers import SentenceTransformer
model = SentenceTransformer("hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-mar13")
sentences = [
"Mathlib.Data.Finset.Option#52",
"neg_inj",
"CategoryTheory.Limits.HasCokernels.has_colimit",
"Finset.mem_image"
]
embeddings = model.encode(sentences)
similarities = model.similarity(embeddings, embeddings)
print(similarities.shape)
# [4, 4] 
