sentence-transformers How to use DChak2000/qwen3-8B-trace-align3 with sentence-transformers:
from sentence_transformers import SentenceTransformer
model = SentenceTransformer("DChak2000/qwen3-8B-trace-align3")
sentences = [
"the variable _21574 is confirmed to be a variable.",
"succeeded: nonvar(\"2015-12-31\")",
"failed: death_(_23828)",
"succeeded: var(_21574)"
]
embeddings = model.encode(sentences)
similarities = model.similarity(embeddings, embeddings)
print(similarities.shape)
# [4, 4] 
