Personalize this lesson
Adapt explanations and teaching visuals to your background and preferred voice.
A developer asks "How do I rotate an API key?" Two passages look plausible. One says "Create a replacement key, deploy it, then revoke the old key." Another discusses a billing export token. They're topic-adjacent, but only one answers the question. A keyword-heavy search can still send the developer to the wrong guide.
Start with a retrieval contract: for this query, the rotation guide must rank above the lookalike. A sentence embedding maps each string to one fixed-width vector. Contrastive learning trains that geometry so an intended match lands nearer the query than a confusing candidate. The reproducible-study capstone already treated a training-loss drop as a claim you have to test. Apply the same habit here: a pooling choice, a hard-negative trick, or a leaderboard average is a hypothesis about ranking, and held-out retrieval is the test.
| Query | Passage that should rank near it | Tempting non-match |
|---|---|---|
| "How do I rotate an API key?" | "Create a replacement key, deploy it, then revoke the old key." | "A billing export token expired yesterday." |
The vector only proposes which text gets considered. Authorization still has to run before any passage becomes answer evidence, the same gate the document-QA capstone already shipped.
Keep this ranked triplet in view: the rotation guide should score above the billing-token passage, and both should remain below an authorization boundary if the caller lacks access. A lower contrastive loss without that held-out ordering can mean the batch got easier rather than the retriever got better. Start by watching pooling erase word order; that gives contrastive training a concrete geometry to repair.
From word embeddings to sentence embeddings
Word embeddings gave individual tokens numerical coordinates. Retrieval has to compare variable-length queries and passages with one reusable vector. A sentence encoder performs that compression while trying to preserve the distinctions its task needs from nearby texts.
Averaging context-free word vectors is a useful baseline because it's fast and transparent. It also isolates two jobs that are easy to conflate: mean pooling collapses token states into one vector, while the training objective teaches that vector what relevance means.
Mean pooling inside a trained sentence encoder can work well. An untrained average has no reason to rank the rotation guide above a topic neighbor, so contrastive learning has to supply that ranking pressure.
Why averaging and raw [CLS] fail
Mean pooling of word embeddings
Before reaching for a larger encoder, predict what a commutative operation will do to "compiler calls linker" and "linker calls compiler." This tiny baseline uses a local vector table, so you can run it and see exactly what averaging throws away:
1word_vectors: dict[str, tuple[float, float, float]] = {
2 "compiler": (0.9, 0.1, 0.0),
3 "calls": (0.8, 0.2, 0.1),
4 "linker": (0.7, 0.1, 0.2),
5 "build": (0.1, 0.9, 0.2),
6 "failed": (0.2, 0.8, 0.1),
7}
8
9def mean_pool(
10 sentence: str,
11 vectors: dict[str, tuple[float, float, float]],
12) -> tuple[float, float, float]:
13 tokens = [token.lower() for token in sentence.split()]
14 token_vectors = [vectors[token] for token in tokens if token in vectors]
15
16 if not token_vectors:
17 width = len(next(iter(vectors.values())))
18 return tuple(0.0 for _ in range(width))
19
20 return tuple(
21 sum(vector[dim] for vector in token_vectors) / len(token_vectors)
22 for dim in range(len(token_vectors[0]))
23 )
24
25pooled_a = mean_pool("compiler calls linker", word_vectors)
26pooled_b = mean_pool("linker calls compiler", word_vectors)
27
28print("A:", tuple(round(value, 3) for value in pooled_a))
29print("B:", tuple(round(value, 3) for value in pooled_b))
30print("Same vector:", pooled_a == pooled_b)1A: (0.8, 0.133, 0.1)
2B: (0.8, 0.133, 0.1)
3Same vector: TrueThe final line exposes the failure: both sentences produce the same vector because averaging ignores order.
Why can mean pooling make "compiler calls linker" and "linker calls compiler" identical?
Answer
Mean pooling adds the same token vectors and divides by the same count. Addition doesn't preserve order, so both sentences get the same average even though they reverse which build component calls the other.
What averaging throws away
Reversing two tokens is the clearest collision. The same operation also loses other signals a retrieval boundary may need:
- Word order: "compiler calls linker" and "linker calls compiler" get the same vector because addition is commutative ().
- Common-word dilution: Frequent words and boilerplate can wash out rare, informative tokens.
- No context: A static vector for "key" can't tell an API token from KMS key material.
[CLS] token from BERT
Taking the [CLS] (Classification) token from BERT (Bidirectional Encoder Representations from Transformers) and treating it as a sentence vector is a tempting shortcut. BERT's original pair architecture feeds both texts through one Transformer for a joint task. Its [CLS] state isn't trained by default so that independently encoded sentences can be ranked by cosine similarity.
That joint path also has the wrong serving shape for a large corpus. Reimers and Gurevych estimated about 50 million pair inferences, or roughly 65 hours on a V100, to find the nearest pair in 10,000 sentences. SBERT (Sentence-BERT) instead encodes each sentence once, then compares the cached vectors with cosine similarity.[1]
The same paper measured how the shortcuts behave. Across seven semantic textual similarity (STS) tasks, raw [CLS] averaged 29.19 Spearman rank correlation with human ratings, while mean-pooling BERT token states averaged 54.81. Both trailed averaged GloVe (Global Vectors) embeddings. A pretrained task token is not automatically a nearest-neighbor relevance score.[1]
The anisotropy problem
The score gap also points to a geometry problem. Contextual token representations aren't isotropic in every layer: their directions aren't spread evenly through the available space.[2] This anisotropy can leave an untuned sentence encoder with poorly discriminative neighborhoods.
Many API-doc passages can point toward one generic "technical docs" direction. Their cosine scores then look high even when they answer different questions. Contrastive objectives reshape that geometry by rewarding aligned positives while penalizing competing candidates.

Contrastive learning for sentence embeddings
The core idea
Now turn the retrieval failure into a training target. For each query, name a passage that should be nearby and candidates that should not. Contrastive training reshapes the space so that ordering becomes part of the representation instead of a hope at serving time.
Cosine similarity measures the angle between two vectors and ignores their length. For two unit vectors, it's their dot product: +1 is the same direction, 0 is orthogonal, and a negative value is opposing.
Those values aren't a meaning score by themselves. Only an evaluated embedding model makes cosine ranking useful. The next lesson studies that scoring contract in detail.
SimCSE (Simple Contrastive Learning of Sentence Embeddings) showed how small the construction can be: pass the same sentence through the encoder twice, let dropout supply two noisy views, and treat those views as a positive pair.[3] The model gets a positive without a second labeled sentence.
Wang and Isola give names for the geometry this objective should produce. Alignment asks whether positives are close. Uniformity asks whether normalized representations avoid crowding into a small region of the hypersphere.[4]
E5 later trained single-vector text embeddings contrastively from a large weakly supervised pair corpus.[5] That same pattern, rather than a pooling rule alone, is what gives a vector space a retrieval contract.
The batch-ranking objective used below is InfoNCE: for one anchor, the true match should outrank every other candidate in the batch.


InfoNCE loss
You want the matching API-doc passage close to the query and every non-match farther away. InfoNCE writes that ranking problem as classification: for this query, which passage in the batch is the right one? Before calculating, predict the answer for : should win because 0.90 is above 0.20.
Walk through a batch of two query-passage pairs. After you normalize the embeddings, cosine similarities are just dot products:
| Query | Positive | Similarity |
|---|---|---|
| 0.90 | ||
| 0.20 | ||
| 0.15 | ||
| 0.85 |
For query , the true match is (similarity 0.90). The other passage in the batch, , acts as an in-batch negative (similarity 0.20). InfoNCE turns that ordering into probability: it wants the model to make more likely than .
For this worked row, choose a sharp temperature and compute the loss contribution for step by step:
- Scale the similarities into logits: positive logit = , negative logit =
- Exponentiate (this turns logits into unnormalized probabilities): ,
- Normalize with softmax into a probability for the positive:
- Take negative log: (tiny loss; the model is already very confident)
If the model were wrong ( similarity to only 0.20, to 0.90), the positive probability would drop to about and the loss would jump to roughly 14 nats. The optimizer would receive a strong gradient pushing the correct pair closer.

In the example, why is the loss tiny when the positive similarity is 0.90 and the negative similarity is 0.20?
Answer
After temperature scaling, the positive logit is much larger than the negative logit. Softmax assigns almost all probability to the true match, so is near zero.
The standard contrastive loss for a batch of positive pairs:[6]
Reading the formula
For each example , the numerator gives the true match its score. The denominator adds that positive to every candidate in the batch, turning the row into a multiple-choice question.
Temperature controls how sharply those logits separate. The loss therefore asks for one concrete change: make the true pair more likely than every alternative in the batch.
Where:
- are embeddings of a positive pair (e.g., query and relevant document)
- is the temperature parameter
- All non-matching examples in that denominator act as in-batch negatives
This copy-runnable implementation keeps the same calculation visible instead of hiding the matrix math behind a framework. Production training code would vectorize this in PyTorch or another tensor library. The loop below makes the denominator explicit:
1from math import exp, log, sqrt
2
3def normalize(vector: list[float]) -> list[float]:
4 norm = sqrt(sum(value * value for value in vector))
5 return [value / norm for value in vector]
6
7def dot(left: list[float], right: list[float]) -> float:
8 return sum(a * b for a, b in zip(left, right))
9
10def logsumexp(values: list[float]) -> float:
11 peak = max(values)
12 return peak + log(sum(exp(value - peak) for value in values))
13
14def row_cross_entropy(logits: list[float], correct: int) -> float:
15 return logsumexp(logits) - logits[correct]
16
17def info_nce_loss(
18 query_vectors: list[list[float]],
19 positive_vectors: list[list[float]],
20 temperature: float = 0.2,
21) -> float:
22 queries = [normalize(vector) for vector in query_vectors]
23 positives = [normalize(vector) for vector in positive_vectors]
24 losses: list[float] = []
25
26 for row, query in enumerate(queries):
27 logits = [dot(query, candidate) / temperature for candidate in positives]
28 losses.append(row_cross_entropy(logits, row))
29
30 return sum(losses) / len(losses)
31
32query_vectors = [[1.0, 0.0], [0.0, 1.0]]
33positive_vectors = [[0.95, 0.05], [0.10, 0.90]]
34
35loss = info_nce_loss(query_vectors, positive_vectors)
36score_pos = dot(normalize(query_vectors[0]), normalize(positive_vectors[0]))
37score_neg = dot(normalize(query_vectors[0]), normalize(positive_vectors[1]))
38extreme_loss = row_cross_entropy([1000.0, 986.0], correct=0)
39
40print("loss:", round(loss, 4))
41print("q1 positive score:", round(score_pos, 4))
42print("q1 negative score:", round(score_neg, 4))
43print("stable large-logit loss:", f"{extreme_loss:.8f}")1loss: 0.0104
2q1 positive score: 0.9986
3q1 negative score: 0.1104
4stable large-logit loss: 0.00000083The equation is often expanded into raw exponentials when calculating a small example on paper. Code should compute the same expression with log-sum-exp or a framework cross-entropy operation, so large logits don't overflow.
Dual (symmetric) InfoNCE
The formula above is query → candidate only: each query row treats other positives in the batch as negatives. Many dual-encoder and multimodal recipes also run the reverse direction and average both:
On the same similarity matrix :
- Row CE (): for each query , the correct column is (query ranks its matched document).
- Column CE (): for each document , the correct row is (document ranks its matched query).
CLIP uses this symmetric contract for image↔text.[7] Keep the one-sided form when towers or serving are intentionally asymmetric: a query encoder that never appears as a retrieval key, or a setup that only ranks documents given queries. In that case, train the direction you serve and evaluate that direction with held-out retrieval alongside training loss.
Triplet loss
InfoNCE compares one anchor with a candidate pool. A second contrastive objective, triplet loss, focuses on one anchor-positive-negative triplet instead, making the required distance gap explicit:
Where:
- is the Euclidean distance between embeddings
- is a margin hyperparameter
- is the anchor, is the positive, is the negative
The loss enforces that the anchor must be closer to the positive than to the negative by at least margin : . If this constraint is already satisfied, the loss is zero. The margin prevents the model from wasting capacity pushing already-distant negatives even farther away.
Worked example: computing triplet loss by hand
Consider three sentences about API-key rotation. Before doing the arithmetic, predict the outcome: with the positive at distance 0.2 and the negative at 0.5, a margin of 0.1 should leave no work, while a larger margin could still leave a gap to close:
| Role | Sentence |
|---|---|
| Anchor () | "How do I rotate an API key?" |
| Positive () | "Where can I replace an old API token?" |
| Negative () | "How do I rotate a KMS encryption key?" |
After encoding, suppose the distances are:
- (the paraphrase is close)
- (the hard negative is farther, but not by much)
With margin , plug into the formula:
The loss is zero because the model already satisfies the margin constraint: the positive is closer than the negative by more than 0.1. Now imagine a bad model where and (the negative is closer than the positive):
A non-zero loss tells the optimizer to push the anchor and positive together while pushing the negative away until the gap exceeds the margin.
For triplet loss, what does zero loss mean?
Answer
It means the positive is already closer to the anchor than the negative by at least the margin. The model doesn't need to spend more gradient on that triplet.
Key differences from InfoNCE
- Triplet loss compares a chosen negative against a margin, so mining determines most of its learning signal.
- InfoNCE compares each anchor with a candidate pool. Batches supply negatives cheaply, but they can also contain false negatives.
- Neither objective is an automatic win. Choose data construction deliberately and evaluate held-out retrieval failures, not training loss alone.
Temperature parameter τ
Temperature controls the "sharpness" of the softmax distribution over similarity scores. Hold the scores fixed and change only to see what the optimizer is being asked to emphasize.
For the worked similarity gap, , changing temperature changes the positive probability:
| τ | for this row | What to inspect |
|---|---|---|
| 0.01 | Saturates quickly; a false negative receives extreme pressure. | |
| 0.05 | Very sharp separation for this easy row. | |
| 0.10 | Still confident, with less sharpness. | |
| 1.00 | Much flatter signal. |
There's no universal best temperature. Tune it against held-out retrieval failures and implement the loss stably. Low temperature amplifies mislabeled or false negatives. Overflow is an implementation bug that stable log-softmax or cross-entropy avoids. E5's contrastive pre-training used by default, even sharper than the 0.05 walkthrough above.[5]

1from math import exp
2
3def probability_of_positive(
4 positive_similarity: float,
5 negative_similarity: float,
6 temperature: float,
7) -> float:
8 scaled_gap = (positive_similarity - negative_similarity) / temperature
9 return 1.0 / (1.0 + exp(-scaled_gap))
10
11for temperature in (0.01, 0.05, 0.10, 1.00):
12 probability = probability_of_positive(0.90, 0.20, temperature)
13 print(f"tau={temperature:.2f}: P(positive)={probability:.6f}")1tau=0.01: P(positive)=1.000000
2tau=0.05: P(positive)=0.999999
3tau=0.10: P(positive)=0.999089
4tau=1.00: P(positive)=0.668188What happens if temperature is too high in contrastive learning?
Answer
The softmax becomes too flat. True matches and negatives receive similar probabilities, so the model gets weak pressure to separate relevant passages from confusing non-matches.
Where the pairs come from
A contrastive objective has no way to decide what a pair means. You need texts that should match, texts that shouldn't, and enough variety that the model can't succeed by memorizing topic words. Supervised NLI pairs and SimCSE's dropout views make two useful constructions concrete.
Supervised: fine-tuning on NLI data
Natural Language Inference (NLI) labels whether a hypothesis follows from a premise (entailment), conflicts with it (contradiction), or does neither (neutral). Entailment is directional. It isn't a promise that two texts are interchangeable.
SBERT trained Siamese and triplet architectures with NLI supervision and evaluated sentence similarity.[1] Those labels give the loss a useful boundary. You still need retrieval evaluation before treating two technical passages as substitutes.
Supervised SimCSE uses entailment as a positive and the corresponding contradiction as a hard negative.[3] That pairing makes the distinction explicit, but it still needs retrieval evaluation before two technical passages can be treated as substitutes.
The labels say which sentences should meet; SBERT's architecture makes that comparison cheap. It runs both sentences through the same encoder with shared weights, pools each into a single vector, then trains on those pooled embeddings.[1]
At inference you keep only the single-sentence path. That shared-weight Siamese network makes precomputing document embeddings and nearest-neighbor search practical.
Self-supervised: SimCSE
No labeled NLI data? SimCSE changes where the positive comes from.[3] Pass the same sentence through the encoder twice with different dropout masks. Dropout zeros different units each time, so you get two slightly different vectors for the same sentence.
Those views are positives; every other sentence in the batch is a negative. The construction turns an unlabeled batch into a ranking problem, with the same false-negative risk we will audit below.
On the paper's STS suite, unsupervised SimCSE with BERT-base reached 76.3 average Spearman correlation. The supervised NLI variant reached 81.6. Dropout, normally just regularization, becomes the data augmentation. Removing it, or reusing the same mask for both views, collapses the representation.[3]
Data augmentation
Once dropout makes a safe positive view, other augmentations become hypotheses about meaning preservation:
- Dropout masks (SimCSE): different mask patterns per forward pass
- Verified paraphrases or back-translations: use only after checking that technical scope and exceptions survive
- Domain pairs: mine resolved duplicate questions that cite the same approved docs passage
- Reranking with cross-encoders: score candidate paraphrases before accepting them as positives
Avoid casual word deletion or insertion for technical docs: dropping "not," a version condition, or an authorization requirement changes the rule while incorrectly labeling the pair positive.
In-batch negatives in practice
The batch can supply a negative pool without another labeling pass. For a batch of positive pairs, each anchor has one matching positive, and the other candidates act as negatives. Dense Passage Retrieval trained dual encoders this way for open-domain QA.[8]
Larger batches increase the chance of informative competitors, but they also increase the chance of false negatives: another row may cite the same relevant docs passage while the loss treats it as wrong. Distributed training commonly gathers embeddings across GPUs before computing this loss. Plain gradient accumulation doesn't create more in-batch negatives unless the implementation explicitly reuses embeddings across microbatches.
1batch = [
2 {"query": "How do I rotate an API key?", "doc_id": "api-key-rotation-v3"},
3 {"query": "How do I replace an old API token?", "doc_id": "api-key-rotation-v3"},
4 {"query": "How do service account tokens expire?", "doc_id": "service-token-lifecycle-v2"},
5]
6
7false_negatives = []
8for anchor_index, anchor in enumerate(batch):
9 for candidate_index, candidate in enumerate(batch):
10 if anchor_index == candidate_index:
11 continue
12 if candidate["doc_id"] == anchor["doc_id"]:
13 false_negatives.append(
14 f"row {anchor_index} treats row {candidate_index} as negative"
15 )
16
17print("false negatives:", false_negatives)
18print("action: deduplicate shared-doc positives before InfoNCE")1false negatives: ['row 0 treats row 1 as negative', 'row 1 treats row 0 as negative']
2action: deduplicate shared-doc positives before InfoNCEHard negative mining
Why hard negatives matter
Suppose the model already rejects "GPU driver compatibility" for an API-key query. That example contributes little new signal. Hard negatives such as a KMS-key guide share the broad vocabulary but answer a different intent, forcing the encoder to learn the boundary that matters.
| Negative type | Anchor | Candidate | Why it matters |
|---|---|---|---|
| Easy negative | "How do I rotate an API key?" | "GPU driver compatibility matrix" | Different topic; the model learns this separation almost immediately |
| Hard negative | "How do I rotate an API key?" | "How do I rotate a KMS encryption key?" | Same keywords, different intent; forces fine-grained learning |

Mining strategies
Mining is how you keep that boundary in the training stream. Each source trades labeling cost, freshness, and the risk of promoting a true match to the negative set.
1. In-batch negatives
Use other examples in the batch. This is simple and scales with batch size, but it stops helping when rows are unrelated or accidentally share the same relevant document.
2. BM25 negatives
Use a lexical search algorithm like BM25 (Best Matching 25) to find documents that share words with the query but answer a different question:
1Query: "How do I rotate an API key?"
2Hard negative: "Rotate KMS encryption key material" # shares "rotate" and "key" but answers a different question
3Easy negative: "GPU driver compatibility matrix"3. Cross-encoder-assisted mining
Start with lexical or dense retrieval, then keep known non-matches that still receive a high cross-encoder score. A label, document identity, or human review must establish that a candidate is wrong; a model score isn't ground truth by itself. The mining loop below makes that control flow deterministic: lexical overlap stands in for BM25, a small scorer stands in for the cross-encoder, and explicit relevance labels protect true positives.
1def tokens(text: str) -> set[str]:
2 return {part.strip("?.!,").lower() for part in text.split()}
3
4def lexical_overlap(query: str, candidate: str) -> int:
5 return len(tokens(query) & tokens(candidate))
6
7def cross_encoder_score(query: str, candidate: str) -> float:
8 query_terms = tokens(query)
9 candidate_terms = tokens(candidate)
10
11 if "api" in query_terms and "api" in candidate_terms:
12 return 0.92
13 if "service" in candidate_terms and "key" in candidate_terms:
14 return 0.76
15 if "kms" in candidate_terms and "key" in candidate_terms:
16 return 0.68
17 return 0.05
18
19def mine_hard_negatives(
20 query: str,
21 corpus: list[dict[str, str | bool]],
22 top_k: int = 2,
23) -> list[str]:
24 known_non_matches = [
25 row
26 for row in corpus
27 if not row["relevant"]
28 and lexical_overlap(query, str(row["text"])) > 0
29 ]
30 ranked = sorted(
31 known_non_matches,
32 key=lambda row: cross_encoder_score(query, str(row["text"])),
33 reverse=True,
34 )
35 return [str(row["text"]) for row in ranked[:top_k]]
36
37query = "How do I rotate an API key?"
38corpus = [
39 {"text": "Where can I replace an old API token?", "relevant": True},
40 {"text": "Rotate KMS encryption key material", "relevant": False},
41 {"text": "How do I rotate a service account signing key?", "relevant": False},
42 {"text": "GPU driver compatibility matrix", "relevant": False},
43]
44
45print(mine_hard_negatives(query, corpus))1['How do I rotate a service account signing key?', 'Rotate KMS encryption key material']4. Iterative mining
Re-mine hard negatives periodically using the improved model. As broad errors disappear, the refreshed pool exposes finer confusions, but every round still needs false-negative checks.
Hard negatives in the InfoNCE denominator
Mining changes the loss only after those candidates appear in the softmax. Production trainers usually do one of two things:
- Expand the candidate pool: for each query, score
positive + in-batch negatives + K mined hard negativesand run InfoNCE over that longer list. - Pack hard negatives into the batch: attach mined passages as extra rows (or a fixed negative bank) so they land in other queries' denominators.
Either way, a mined hard negative is just another term in . The toy below keeps the positive and one in-batch negative, then adds a mined hard negative so you can see the extra denominator mass raise the loss:
1from math import exp, log
2
3def row_cross_entropy(logits: list[float], correct: int) -> float:
4 peak = max(logits)
5 log_z = peak + log(sum(exp(v - peak) for v in logits))
6 return log_z - logits[correct]
7
8# Cosine similarities for one query at temperature 0.05
9temperature = 0.05
10positive = 0.90
11in_batch_negative = 0.20
12mined_hard_negative = 0.72
13
14easy_logits = [positive / temperature, in_batch_negative / temperature]
15hard_logits = easy_logits + [mined_hard_negative / temperature]
16
17print("loss without mined hard neg:", round(row_cross_entropy(easy_logits, 0), 6))
18print("loss with mined hard neg:", round(row_cross_entropy(hard_logits, 0), 6))1loss without mined hard neg: 1e-06
2loss with mined hard neg: 0.026958The positive score didn't change. The mined candidate (still wrong, but much closer) added competing probability mass, so the loss rises and gradients focus on that fine-grained confusion. Guard against false negatives when packing mined rows: a true relevant passage labeled as hard-negative teaches the model to push real matches away.
Bi-encoder vs cross-encoder
The loss trains a vector space. Serving still has to decide when the query and the document are allowed to interact. That placement decision, not the brand name of the encoder, sets latency and index size.

| Architecture | What you store | Query-time Transformer work | Interaction | Typical job |
|---|---|---|---|---|
| Bi-encoder | 1 vector per document | 1 query encode, then ANN | or cosine | First-stage corpus retrieval |
| Cross-encoder | Raw documents | joint passes for shortlist size | Full attention over | Rerank a bounded shortlist |
| Late interaction (ColBERT) | 1 vector per document token | 1 query encode, then token MaxSim | Token-level retrieval with a larger index |
Bi-encoder (dual encoder)
A bi-encoder encodes the query and document independently, then compares them with dot product or cosine similarity. Documents can be pre-encoded and indexed. At query time you encode the query once, then use an approximate nearest neighbor (ANN) search index.
That speed comes from keeping the texts apart. Without cross-attention, the single-vector score can miss phrase order, negation, and fine token alignment.
Cross-encoder
A cross-encoder concatenates query and document and runs them through one Transformer. Full attention can model phrase-level interactions, and on a suitable shortlist that often improves precision.
The same interaction makes it expensive: inference runs for every (query, document) pair. Scoring a corpus of documents therefore means Transformer passes per query, which is too slow for large-scale search.
Late interaction: ColBERT
ColBERT (Contextualized Late Interaction over BERT)[9] uses late interaction as a middle ground between bi-encoder and cross-encoder:

Instead of a single embedding per document, ColBERT stores per-token embeddings and computes relevance using MaxSim: for each query token, find the maximum similarity to any document token, then sum.
Advantages
ColBERT retains token-level matching signals while documents can still be pre-encoded.
Disadvantages
The price is a much larger index: it stores one vector per token instead of one per document.
This is a budget tradeoff, not a universal ranking. A bi-encoder serves first-stage candidate generation at corpus scale and must be tuned for recall. A cross-encoder can improve precision for a bounded candidate set. Late interaction spends more index space to keep token-level evidence.
1similarities = {
2 "api": {"rotate": 0.12, "api": 0.93, "key": 0.08},
3 "key": {"rotate": 0.19, "api": 0.07, "key": 0.91},
4}
5
6best_by_query_token = {
7 query_token: max(document_scores.values())
8 for query_token, document_scores in similarities.items()
9}
10score = sum(best_by_query_token.values())
11
12print("best token scores:", best_by_query_token)
13print("MaxSim score:", round(score, 2))1best token scores: {'api': 0.93, 'key': 0.91}
2MaxSim score: 1.84A production reranking pattern

Serving stacks usually combine the two. A reranker spends the expensive cross-encoder pass only on candidates the bi-encoder admitted, so the first stage owns recall and the second stage improves precision. If the correct passage never enters the shortlist, reranking can't recover it.
The small function below makes that boundary visible with deterministic scores. The bi-encoder admits a KMS lookalike; cross-encoder attention then demotes it and puts the two true API-key passages on top.
1documents = [
2 {
3 "id": "kms-key-rotation",
4 "text": "How do I rotate a KMS encryption key?",
5 "bi_score": 0.84,
6 "cross_score": 0.21,
7 },
8 {
9 "id": "api-key-rotation",
10 "text": "API key rotation runbook",
11 "bi_score": 0.81,
12 "cross_score": 0.96,
13 },
14 {
15 "id": "replace-old-api-token",
16 "text": "Create a replacement key, deploy it, then revoke the old key.",
17 "bi_score": 0.78,
18 "cross_score": 0.91,
19 },
20 {
21 "id": "gpu-driver-notes",
22 "text": "GPU driver compatibility notes",
23 "bi_score": 0.10,
24 "cross_score": 0.05,
25 },
26]
27
28def search_with_rerank(
29 query: str,
30 corpus: list[dict[str, str | float]],
31 candidate_k: int = 3,
32 top_k: int = 2,
33) -> list[str]:
34 candidates = sorted(corpus, key=lambda doc: float(doc["bi_score"]), reverse=True)[
35 :candidate_k
36 ]
37 reranked = sorted(
38 candidates,
39 key=lambda doc: float(doc["cross_score"]),
40 reverse=True,
41 )
42 return [str(doc["id"]) for doc in reranked[:top_k]]
43
44results = search_with_rerank("How do I rotate an API key?", documents)
45print(results)1['api-key-rotation', 'replace-old-api-token']Instruction-tuned embeddings
The problem with task ambiguity
"Label" means different things depending on the job: clustering groups issue-label documents, retrieval finds axis-label troubleshooting, and classification asks whether text is about a bug, docs, or security. If an embedding call sees only the text, one model has to serve all three notions of similarity with the same signal.
Task-specific prefixes and instructions
Some embedding families expose task prefixes or lightweight instructions that steer the encoder toward retrieval, clustering, or classification. E5 is a simple example: it prepends query: and passage: during contrastive pre-training, and that split mattered for retrieval tasks where the corpus contains paraphrases of the query.[5]
INSTRUCTOR-style models go further and condition the embedding on an explicit task instruction concatenated with the text.[10] The format is model-specific. A prefix that helps one family can hurt another, so follow its training or model card.
This example keeps the families separate on purpose:
1def format_e5_pair(query: str, passage: str) -> tuple[str, str]:
2 """E5 prepends role prefixes to query and passage strings."""
3 return f"query: {query}", f"passage: {passage}"
4
5def format_instructor_input(instruction: str, text: str) -> str:
6 """INSTRUCTOR concatenates a task instruction with the text."""
7 return f"{instruction} {text}"
8
9e5_query, e5_passage = format_e5_pair(
10 "how do I rotate an API key?",
11 "Create a replacement key, deploy it, then revoke the old key.",
12)
13
14instructor_example = format_instructor_input(
15 "Represent the developer question for retrieving approved API docs:",
16 "how do I rotate an API key?",
17)
18
19assert e5_query.startswith("query: ")
20assert e5_passage.startswith("passage: ")
21assert instructor_example.startswith("Represent")
22assert instructor_example.endswith("how do I rotate an API key?")This doesn't mean one prefix solves every task. It means some embedding families expect an extra conditioning signal. Use the format documented for that specific model family, then benchmark it on your own retrieval, clustering, or classification workload.
Matryoshka representation learning (MRL)
The idea
Suppose the index budget says "keep the first 128 coordinates." An ordinary 768-dimensional embedding gives no reason to expect that prefix to preserve its nearest neighbors.
Matryoshka representation learning changes training so selected embedding prefix widths remain useful on their own. A full 768-dimensional embedding, for example, can be trained together with 128- and 32-dimensional prefixes. You then choose among trained and evaluated widths based on the storage-quality budget.
Train embeddings so that selected prefix widths preserve useful representations under their own losses:[11]

For a contrastively trained embedding model, the loss can be computed at several predefined truncation points simultaneously. The runnable toy below slices full embeddings down to smaller prefixes, calculates the same InfoNCE objective at each prefix, and averages the losses. Toy dimensions keep the arithmetic small; extra training pressure keeps each selected prefix useful:
1from math import exp, log, sqrt
2
3def normalize(vector: list[float]) -> list[float]:
4 norm = sqrt(sum(value * value for value in vector))
5 return [value / norm for value in vector]
6
7def dot(left: list[float], right: list[float]) -> float:
8 return sum(a * b for a, b in zip(left, right))
9
10def logsumexp(values: list[float]) -> float:
11 peak = max(values)
12 return peak + log(sum(exp(value - peak) for value in values))
13
14def info_nce_loss(
15 query_vectors: list[list[float]],
16 positive_vectors: list[list[float]],
17 temperature: float = 0.2,
18) -> float:
19 queries = [normalize(vector) for vector in query_vectors]
20 positives = [normalize(vector) for vector in positive_vectors]
21 losses: list[float] = []
22
23 for row, query in enumerate(queries):
24 logits = [dot(query, candidate) / temperature for candidate in positives]
25 losses.append(logsumexp(logits) - logits[row])
26
27 return sum(losses) / len(losses)
28
29def matryoshka_loss(
30 embeddings_a: list[list[float]],
31 embeddings_b: list[list[float]],
32 dims: tuple[int, int, int] = (2, 4, 6),
33) -> float:
34 losses = []
35
36 for dim in dims:
37 truncated_a = [row[:dim] for row in embeddings_a]
38 truncated_b = [row[:dim] for row in embeddings_b]
39 losses.append(info_nce_loss(truncated_a, truncated_b))
40
41 return sum(losses) / len(losses)
42
43queries = [[1.0, 0.0, 0.9, 0.1, 0.5, 0.2], [0.0, 1.0, 0.1, 0.9, 0.2, 0.5]]
44positives = [[0.95, 0.05, 0.85, 0.15, 0.45, 0.25], [0.05, 0.95, 0.15, 0.85, 0.25, 0.45]]
45
46loss = matryoshka_loss(queries, positives)
47print(round(loss, 4))10.0153Why it matters
| Benefit | Why it matters |
|---|---|
| Flexible deployment | Use the full width when it wins your evaluation, or a smaller trained prefix when storage is constrained. |
| No retraining | One model can serve several dimensionality budgets. |
| Graceful degradation | Performance should drop smoothly as dimensions shrink, but you still need to benchmark each cutoff. |
| Deployment constraint | Shorten only at dimensions a chosen model documents or you validate; arbitrary slicing isn't guaranteed to preserve rankings. |
Evaluation: STS and MTEB
Semantic textual similarity (STS)
STS is a useful first check: do embedding similarities preserve a human notion of relatedness? Before broad benchmarks like MTEB existed, Semantic Textual Similarity (STS) was a common way to ask that question. Datasets like STS-B (STS Benchmark) provide sentence pairs rated by human annotators:
1"A CI build failed" / "A test run failed" => 4.5
2"A CI build failed" / "A password was reset" => 1.2To evaluate a model, you compute the cosine similarity for every pair using the model's embeddings, and then calculate the Spearman rank correlation between the model's similarity scores and the human ratings. A high correlation means the model's embedding space aligns well with human judgment.
MTEB (Massive text embedding benchmark)
As models improved, optimizing only for STS stopped being enough. A model that's excellent at pairwise relatedness can still fail at retrieval or clustering. The Massive Text Embedding Benchmark (MTEB) was introduced to make those task differences visible.[12]
The original paper evaluated 33 models on 58 datasets grouped into 8 task categories and found that no one model dominated every category. Much of the retrieval slice comes from BEIR.[13]
The public leaderboard has grown since 2023, so treat the table below as the original snapshot, not today's catalog.[14]
| Task | # Datasets | Example |
|---|---|---|
| Classification | 12 | Sentiment, topic |
| Clustering | 11 | Document clustering |
| Pair Classification | 3 | Paraphrase detection |
| Reranking | 4 | Passage reranking |
| Retrieval | 15 | Question-passage retrieval |
| STS | 10 | Semantic similarity |
| Summarization | 1 | Summary similarity |
| BitextMining | 2 | Parallel sentence mining |

Choosing a model in practice
Use a leaderboard average to screen candidates, not to make the deployment decision. Start with the operational questions that define your own retrieval contract:
- Does the model expect plain text, query/passage prefixes, or explicit instructions?
- Can you shorten the embedding width safely, or are you locked into the full dimensionality?
- How well does it handle your language mix, domain jargon, and query length distribution?
- What are the latency, throughput, and memory costs once you batch and index it at production scale?
- Do you still need BM25 or a cross-encoder reranker to hit Recall@K and NDCG (normalized discounted cumulative gain) targets?
Small leaderboard deltas can't compensate for a mismatched retrieval architecture, weak negatives, poor chunking, or a missing reranking stage. Evaluate the whole retrieval path instead of swapping model names in isolation. The original MTEB finding still sets the boundary: no one model dominated every task category.[12] Check the current leaderboard task list, then measure API-doc retrieval, reranking, languages, latency, and storage on your own workload before treating an average as a purchase decision.[14]
Carry the evidence boundary into retrieval evaluation
api-doc-retriever-v1 can use sentence embeddings to propose API-doc passages, but vector proximity isn't authorization. A release test should verify both retrieval quality and that unapproved text never becomes answer evidence:
1approved_evidence = {"api-key-rotation-v3", "service-token-lifecycle-v2"}
2retrieval_cases = [
3 {
4 "query": "How do I rotate an API key?",
5 "expected": "api-key-rotation-v3",
6 "candidates": ["private-incident-note-44", "api-key-rotation-v3"],
7 },
8 {
9 "query": "How do service account tokens expire?",
10 "expected": "service-token-lifecycle-v2",
11 "candidates": ["service-token-lifecycle-v2", "draft-runbook-12"],
12 },
13]
14attack_candidates = ["private-incident-note-44"]
15
16def approved_candidate(candidates: list[str]) -> str | None:
17 return next((doc for doc in candidates if doc in approved_evidence), None)
18
19served = [approved_candidate(case["candidates"]) for case in retrieval_cases]
20hits = sum(
21 evidence == case["expected"]
22 for evidence, case in zip(served, retrieval_cases)
23)
24attack_evidence = approved_candidate(attack_candidates)
25
26print("approved evidence recall@2:", f"{hits / len(retrieval_cases):.0%}")
27print("served evidence:", served)
28print("private-note attack evidence:", attack_evidence)1approved evidence recall@2: 100%
2served evidence: ['api-key-rotation-v3', 'service-token-lifecycle-v2']
3private-note attack evidence: NoneKey libraries and tools
Building embedding-based systems requires the right tooling:
| Tool | What it gives you |
|---|---|
Sentence-Transformers (sentence-transformers) | Pretrained sentence embedding models, pooling modules, and contrastive training losses. The library started as the SBERT code release.[1] |
| FAISS (Facebook AI Similarity Search) | Efficient similarity search and clustering for dense vectors, including inverted-file and product-quantization indexes.[15] |
Mastery check
Key concepts
- alignment and uniformity in embedding space
- InfoNCE numerator, denominator, and temperature
- hard negatives vs easy negatives
- bi-encoder vs cross-encoder vs late interaction
- reranking as recall first, then precision
- Matryoshka prefix training for safe dimension cuts
Evaluation rubric
- Foundational: Derives the InfoNCE objective and explains what the numerator, denominator, and temperature do.
- Intermediate: Explains why raw BERT [CLS] embeddings fail for semantic search without sentence-level contrastive fine-tuning.
- Intermediate: Explains why hard negatives matter more than random negatives once the model already separates broad topics.
- Advanced: Compares bi-encoders, cross-encoders, and late-interaction models by latency, indexability, accuracy, and storage.
- Advanced: Explains ColBERT's MaxSim scoring and why it keeps more token-level signal than a single document vector.
- Advanced: Explains Matryoshka embeddings and when shorter prefixes are worth the storage-accuracy tradeoff.
- Advanced: Designs a two-stage production retrieval pipeline with recall and latency budgets defended quantitatively.
Follow-up questions
Your cross-encoder gives excellent scores when you manually include the correct passage, but production search still misses that passage. Which stage is failing?
Answer
The first-stage retriever is failing on recall. If the correct passage never reaches the shortlist, reranking quality doesn't matter because the cross-encoder never sees the right candidate.
Why do hard negatives improve embedding quality more than random unrelated negatives?
Answer
Hard negatives share words or topic with the anchor while still answering a different intent. They force the model to learn fine semantic boundaries instead of only broad topic separation.
When can you safely shorten a sentence embedding from 768 dimensions to 128?
Answer
When the model was trained for prefix-aware truncation, such as Matryoshka-style training, or when the provider explicitly documents a shorter output mode. Otherwise you must benchmark because naive truncation can destroy retrieval quality.
When is a cross-encoder the right tool even if a bi-encoder already exists?
Answer
When final precision matters and the candidate set is already small. A cross-encoder is too slow for first-pass retrieval over a large corpus, but it's strong as a reranker after a bi-encoder narrows the search space.
Why does ColBERT usually recover more relevance detail than a standard bi-encoder, and what price does it pay?
Answer
ColBERT keeps token-level document vectors and scores each query token against the best matching document token, so it preserves more fine-grained matching. Documents store many token vectors instead of one vector, so the index becomes much larger.
Common pitfalls
Raw [CLS] is treated like a search-ready sentence embedding
- Symptom: Nearly every query-document pair gets suspiciously similar cosine scores.
- Cause: Raw BERT [CLS] vectors weren't tuned for semantic retrieval and can inherit poorly discriminative anisotropic geometry.
- Fix: Start from a sentence embedding model or fine-tune with a contrastive objective before building nearest-neighbor search.
Negatives stay too easy
- Symptom: Training loss falls, but recall on realistic queries barely moves.
- Cause: Random negatives stop teaching once the model separates unrelated topics.
- Fix: Mine BM25 or cross-encoder negatives that share words with the anchor but answer a different intent.
The reranker is asked to save missing recall
- Symptom: The reranker looks good in pairwise inspection, yet the right document is often absent in production results.
- Cause: The correct passage never entered the shortlist.
- Fix: Tune first-stage Recall@K separately, then widen candidate budget before blaming the reranker.
Dimensions are shortened blindly
- Symptom: Index storage drops as expected, but retrieval quality falls off a cliff.
- Cause: A standard embedding vector was truncated without prefix-aware training or provider support.
- Fix: Use Matryoshka-trained or provider-documented shortening controls and benchmark each target width.
Task conditioning is ignored
- Symptom: One embedding model works for clustering but underperforms on retrieval.
- Cause: The model family expected query/passage prefixes or instructions, but every input was embedded as plain text.
- Fix: Follow the model card format for retrieval, clustering, and classification separately.
Try it yourself
These exercises let you verify your understanding without needing a GPU cluster.
Exercise 1: compute triplet loss by hand
Given an anchor , positive , and negative with distances and , compute the triplet loss for margins and . In which case does the model still have work to do?
Solution sketch: For : , so . The margin is already satisfied. For : , so . The larger margin forces the model to pull the positive even closer or push the negative farther away.
Exercise 2: spot the embedding mistake
A teammate reports that their semantic search system returns nearly identical similarity scores for every query-document pair. They're using a pretrained BERT model and taking the [CLS] token as the sentence embedding. What's the most likely cause, and what's the smallest change that would fix it?
Solution sketch: Raw BERT [CLS] embeddings weren't trained to make cosine distance a semantic-retrieval score, and anisotropic geometry can make their scores poorly discriminative. The smallest fix is to switch to a sentence embedding model that was fine-tuned with a sentence-level objective (for example, SBERT or E5), rather than using raw BERT.
Exercise 3: design a two-stage retrieval pipeline
You have 2 million documentation chunks and a latency budget of 200 ms per query. You own a bi-encoder that encodes a query in 10 ms and a cross-encoder that scores one query-document pair in 15 ms. Why is scoring the full corpus with the cross-encoder impossible, and what pipeline would hit the latency budget?
Solution sketch: hours per query. The cross-encoder is far too slow for the full corpus. Reserve 10 ms for query encoding and choose a top-10 shortlist only if ANN lookup and overhead fit inside the remaining 40 ms: reranking then costs , for at most 200 ms total. If Recall@10 is inadequate, the budget or reranker throughput must change; silently widening to top 100 violates the requirement.