How to use DChak2000/qwen3-trace-align with sentence-transformers:
from sentence_transformers import SentenceTransformer model = SentenceTransformer("DChak2000/qwen3-trace-align") sentences = [ "The goal nonvar('2019-12-31') succeeded, indicating that the date 2019‑12‑31 is instantiated.", "Succeeded: day_to_stamp(\"2019-12-31\",1577836800.0)", "Failed: s1_c_iii(22895,3538)", "Failed: agent_(alice_dies,bob)" ] embeddings = model.encode(sentences) similarities = model.similarity(embeddings, embeddings) print(similarities.shape) # [4, 4]
