Triple
T16574849
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Mikhail Gromov |
E402682
|
entity |
| Predicate | notableFor |
P22
|
FINISHED |
| Object | Gromov hyperbolic groups |
E911231
|
NE FINISHED |
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: Gromov hyperbolic groups | Statement: [Mikhail Gromov, notableFor, Gromov hyperbolic groups]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Gromov hyperbolic groups Context triple: [Mikhail Gromov, notableFor, Gromov hyperbolic groups]
-
A.
Gromov hyperbolic group
chosen
A Gromov hyperbolic group is a finitely generated group whose Cayley graph exhibits negative curvature–like properties, leading to rich geometric, dynamical, and algorithmic behavior.
-
B.
Hyperbolic Manifolds and Discrete Groups
"Hyperbolic Manifolds and Discrete Groups" is a foundational mathematical monograph that develops the theory of hyperbolic geometry and its deep connections with discrete group actions and low-dimensional topology.
-
C.
Dehn’s decision problems in group theory
Dehn’s decision problems in group theory are foundational early 20th-century problems that introduced algorithmic questions about the solvability of word, conjugacy, and isomorphism problems in finitely presented groups, helping launch the field of algorithmic group theory.
-
D.
geometric group theory
Geometric group theory is a branch of mathematics that studies groups by interpreting them as geometric objects and analyzing their actions on spaces using tools from geometry and topology.
-
E.
Burger–Iozzi–Wienhard inequalities for higher rank groups
The Burger–Iozzi–Wienhard inequalities for higher rank groups are a family of sharp bounds in bounded cohomology and representation theory that extend the classical Milnor–Wood inequality to representations of surface groups into higher rank Lie groups.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (3 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_69d88387363c8190a97a0c942130de97 |
completed | April 10, 2026, 4:58 a.m. |
| NER | Named-entity recognition | batch_69e3595bbbbc8190b023f4872908c031 |
completed | April 18, 2026, 10:13 a.m. |
| NED1 | Entity disambiguation (via context triple) | batch_6a006eea409c8190808170a0b3f4bd17 |
completed | May 10, 2026, 11:41 a.m. |
Created at: April 10, 2026, 5:16 a.m.