Triple
T3306008
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | J Strother Moore |
E69450
|
entity |
| Predicate | coAuthorWith |
P398
|
FINISHED |
| Object | Robert S Boyer |
E156763
|
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: Robert S Boyer | Statement: [J Strother Moore, coAuthorWith, Robert S Boyer]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Robert S Boyer Context triple: [J Strother Moore, coAuthorWith, Robert S Boyer]
-
A.
Robert S. Boyer
chosen
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.
-
B.
Albert R. Meyer
Albert R. Meyer is an American computer scientist and professor at MIT known for his influential work in theoretical computer science and the foundations of computation.
-
C.
J Strother Moore
J Strother Moore is an American computer scientist best known for his pioneering work in automated theorem proving and formal methods, including co-developing the Boyer–Moore theorem prover and the ACL2 system.
-
D.
Jack Schwartz
Jack Schwartz was an American mathematician and computer scientist known for his contributions to programming languages, parallel computing, and the development of the SETL language.
-
E.
Milburn G. Apt
Milburn G. Apt was a United States Air Force test pilot and the first person to exceed Mach 3, who died in the crash of the Bell X-2 during a record-setting flight in 1956.
- 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_69ad859f218081909458d2cebbf57565 |
completed | March 8, 2026, 2:20 p.m. |
| NER | Named-entity recognition | batch_69adb0c9470881908c36c1984fdbb67b |
completed | March 8, 2026, 5:24 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69b3341e2f508190a21411869375e3e1 |
completed | March 12, 2026, 9:46 p.m. |
Created at: March 8, 2026, 3:11 p.m.