Triple
T364398
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Herbrand Award |
E7926
|
entity |
| Predicate | notableRecipient |
P108
|
FINISHED |
| Object |
Robert S. Boyer
Robert S. Boyer is an American computer scientist and logician known for his pioneering work in automated theorem proving and formal methods in software verification.
|
E156763
|
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: Robert S. Boyer | Statement: [Herbrand Award, notableRecipient, Robert S. Boyer]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Robert S. Boyer Context triple: [Herbrand Award, notableRecipient, Robert S. Boyer]
-
A.
Alan S. Boyd
Alan S. Boyd was an American lawyer and public official who became the first U.S. Secretary of Transportation, helping to shape national transportation policy in the late 1960s.
-
B.
Robert H. Richards
Robert H. Richards was a prominent American mining engineer and metallurgist known for pioneering work in ore dressing and mineral processing.
-
C.
Harold A. Wheeler
Harold A. Wheeler was an influential American electrical engineer and inventor known for his pioneering contributions to radio and radar technology.
-
D.
Robert B. Hotz
Robert B. Hotz was an American aviation journalist and editor known for his expertise in aerospace and defense, who served on the presidential Rogers Commission investigating the Space Shuttle Challenger disaster.
-
E.
Robert F. Ritt
Robert F. Ritt was an American mathematician known for his foundational work in differential algebra and contributions to the theory of differential equations.
- 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: Robert S. Boyer Triple: [Herbrand Award, notableRecipient, Robert S. Boyer]
Generated description
Robert S. Boyer is an American computer scientist and logician known for his pioneering work in automated theorem proving and formal methods in software verification.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Robert S. Boyer Target entity description: Robert S. Boyer is an American computer scientist and logician known for his pioneering work in automated theorem proving and formal methods in software verification.
-
A.
Alan S. Boyd
Alan S. Boyd was an American lawyer and public official who became the first U.S. Secretary of Transportation, helping to shape national transportation policy in the late 1960s.
-
B.
Robert H. Richards
Robert H. Richards was a prominent American mining engineer and metallurgist known for pioneering work in ore dressing and mineral processing.
-
C.
Harold A. Wheeler
Harold A. Wheeler was an influential American electrical engineer and inventor known for his pioneering contributions to radio and radar technology.
-
D.
Robert B. Hotz
Robert B. Hotz was an American aviation journalist and editor known for his expertise in aerospace and defense, who served on the presidential Rogers Commission investigating the Space Shuttle Challenger disaster.
-
E.
Robert F. Ritt
Robert F. Ritt was an American mathematician known for his foundational work in differential algebra and contributions to the theory of differential equations.
- 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_69a2e7e880008190a6ad7e06e5d03007 |
completed | Feb. 28, 2026, 1:04 p.m. |
| NER | Named-entity recognition | batch_69a2ebe6c1b4819083335e880c205ed6 |
completed | Feb. 28, 2026, 1:21 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69acce4b94d08190b7747b0b6d61e3e1 |
completed | March 8, 2026, 1:18 a.m. |
| NEDg | Description generation | batch_69accf3931bc81908e38755e2d024270 |
completed | March 8, 2026, 1:22 a.m. |
| NED2 | Entity disambiguation (via description) | batch_69accfb8acfc8190bba379d8bb114c29 |
completed | March 8, 2026, 1:24 a.m. |
Created at: Feb. 28, 2026, 1:08 p.m.