Triple
T21145407
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Lempert function on convex domains |
E521040
|
entity |
| Predicate | relatedTo |
P37
|
FINISHED |
| Object | Carathéodory distance |
—
|
NE NERFINISHED |
How this triple was built (2 steps)
Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.
NER
Named-entity recognition
gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Carathéodory distance | Statement: [Lempert function on convex domains, relatedTo, Carathéodory distance]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Carathéodory distance Context triple: [Lempert function on convex domains, relatedTo, Carathéodory distance]
-
A.
Carathéodory metric
chosen
The Carathéodory metric is an intrinsic distance function in complex analysis that measures how far apart points are in a domain based on holomorphic mappings into the unit disk.
-
B.
Banach–Mazur distance
The Banach–Mazur distance is a numerical measure in functional analysis that quantifies how "far apart" two finite-dimensional normed vector spaces are up to linear isomorphism.
-
C.
Gromov–Hausdorff distance
The Gromov–Hausdorff distance is a metric that quantifies how far apart two compact metric spaces are from being isometric, playing a central role in modern metric geometry and geometric group theory.
-
D.
Kobayashi distance
The Kobayashi distance is an intrinsic pseudometric in complex analysis that measures the hyperbolic geometry of complex manifolds and domains.
-
E.
Hausdorff metric
The Hausdorff metric is a distance function that measures how far two subsets of a metric space are from each other, widely used in topology, geometry, and shape analysis.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (2 batches)
The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.
| Step | Stage | Batch ID | Status | When |
|---|---|---|---|---|
| creating | Elicitation | batch_69e0b50c6a848190a4e525a77a319b8a |
completed | April 16, 2026, 10:08 a.m. |
| NER | Named-entity recognition | batch_69e723fcdb7c8190ae04d6ad9dff3187 |
completed | April 21, 2026, 7:15 a.m. |
Created at: April 16, 2026, 2:58 p.m.