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]
