Triple

T2384373
Position Surface form Disambiguated ID Type / Status
Subject Zohar Manna E46383 entity
Predicate coAuthorWith P398 FINISHED
Object Richard Waldinger
Richard Waldinger is a computer scientist known for his work in automated reasoning and program verification, often in collaboration with Zohar Manna.
 E260375 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: Richard Waldinger | Statement: [Zohar Manna, coAuthorWith, Richard Waldinger]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Richard Waldinger
Context triple: [Zohar Manna, coAuthorWith, Richard Waldinger]
  • A. 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.
  • B. John F. McCarthy
    John F. McCarthy was a California state legislator and influential political figure from Marin County, recognized for his role in regional infrastructure and public service.
  • C. Richard Lipton
    Richard Lipton is an American computer scientist known for his influential work in theoretical computer science and cryptography, including contributions to complexity theory and algorithm design.
  • D. 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.
  • E. Norman Pearlstine
    Norman Pearlstine is an American journalist and media executive best known for serving as editor-in-chief of Time Inc. and later as executive editor of The Los Angeles Times.
  • 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: Richard Waldinger
Triple: [Zohar Manna, coAuthorWith, Richard Waldinger]
Generated description
Richard Waldinger is a computer scientist known for his work in automated reasoning and program verification, often in collaboration with Zohar Manna.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07 
Target entity: Richard Waldinger
Target entity description: Richard Waldinger is a computer scientist known for his work in automated reasoning and program verification, often in collaboration with Zohar Manna.
  • A. 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.
  • B. John F. McCarthy
    John F. McCarthy was a California state legislator and influential political figure from Marin County, recognized for his role in regional infrastructure and public service.
  • C. Richard Lipton
    Richard Lipton is an American computer scientist known for his influential work in theoretical computer science and cryptography, including contributions to complexity theory and algorithm design.
  • D. 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.
  • E. Norman Pearlstine
    Norman Pearlstine is an American journalist and media executive best known for serving as editor-in-chief of Time Inc. and later as executive editor of The Los Angeles Times.
  • 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_69a88a1554a48190a0180682bcf099be completed March 4, 2026, 7:37 p.m.
NER Named-entity recognition batch_69abc7bc87d0819090cd9d19d748bcc3 completed March 7, 2026, 6:37 a.m.
NED1 Entity disambiguation (via context triple) batch_69aea8bae2ec8190962479832bf7762e completed March 9, 2026, 11:02 a.m.
NEDg Description generation batch_69aeab4258f88190a7a009d0fa501dd4 completed March 9, 2026, 11:13 a.m.
NED2 Entity disambiguation (via description) batch_69aeaba59cd08190981af351019b3e81 completed March 9, 2026, 11:14 a.m.
Created at: March 4, 2026, 7:57 p.m.