Triple
T2169602
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Edmund M. Clarke |
E46990
|
entity |
| Predicate | notableStudent |
P4838
|
FINISHED |
| Object |
Byron Cook
Byron Cook is a computer scientist known for his work in formal verification and program analysis, particularly in proving program termination and safety.
|
E239164
|
NE FINISHED |
How this triple was built (4 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: Byron Cook | Statement: [Edmund M. Clarke, notableStudent, Byron Cook]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Byron Cook Context triple: [Edmund M. Clarke, notableStudent, Byron Cook]
-
A.
Byron Bowers
Byron Bowers is an American stand-up comedian, writer, and actor known for his work in television, film, and comedy specials.
-
B.
Cooke Maroney
Cooke Maroney is an American art gallery director known for his work in the contemporary art world and his marriage to actress Jennifer Lawrence.
-
C.
Byron Metcalf
Byron Metcalf is an American musician and producer known for his work in shamanic and ambient percussion-based music.
-
D.
Brett Veach
Brett Veach is an American football executive best known for building multiple Super Bowl–winning rosters as the general manager of the Kansas City Chiefs.
-
E.
Brad Van Pelt
Brad Van Pelt was a standout linebacker for the New York Giants in the 1970s and early 1980s, known for his Pro Bowl-caliber play and leadership on defense.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg
Description generation
gpt-5.1
Instruction
Generate a one-sentence description of the target entity. You are given a context triple in the form (subject, predicate, object), where the object is the target entity. # Instructions Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. Avoid repeating the information from the triple, unless really essential. # Response Format Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Byron Cook Triple: [Edmund M. Clarke, notableStudent, Byron Cook]
Generated description
Byron Cook is a computer scientist known for his work in formal verification and program analysis, particularly in proving program termination and safety.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Byron Cook Target entity description: Byron Cook is a computer scientist known for his work in formal verification and program analysis, particularly in proving program termination and safety.
-
A.
Byron Bowers
Byron Bowers is an American stand-up comedian, writer, and actor known for his work in television, film, and comedy specials.
-
B.
Cooke Maroney
Cooke Maroney is an American art gallery director known for his work in the contemporary art world and his marriage to actress Jennifer Lawrence.
-
C.
Byron Metcalf
Byron Metcalf is an American musician and producer known for his work in shamanic and ambient percussion-based music.
-
D.
Brett Veach
Brett Veach is an American football executive best known for building multiple Super Bowl–winning rosters as the general manager of the Kansas City Chiefs.
-
E.
Brad Van Pelt
Brad Van Pelt was a standout linebacker for the New York Giants in the 1970s and early 1980s, known for his Pro Bowl-caliber play and leadership on defense.
- F. None of above. chosen
Provenance (5 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_69a88a184cbc8190877791f6552c2484 |
completed | March 4, 2026, 7:38 p.m. |
| NER | Named-entity recognition | batch_69abbeaeb58881908ad34f7b253bac2a |
completed | March 7, 2026, 5:59 a.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69ae58f511a08190880fbde8900d59df |
completed | March 9, 2026, 5:21 a.m. |
| NEDg | Description generation | batch_69ae59a9b010819081491e988184b386 |
completed | March 9, 2026, 5:24 a.m. |
| NED2 | Entity disambiguation (via description) | batch_69ae5a12f11c81908cc345905f0a485e |
completed | March 9, 2026, 5:26 a.m. |
Created at: March 4, 2026, 7:45 p.m.