Triple

T14981602
Position Surface form Disambiguated ID Type / Status
Subject Matt Kaufmann E373588 entity
Predicate coauthorWith P2389 FINISHED
Object David M. Russinoff
David M. Russinoff is a computer scientist known for his work in formal methods and hardware verification, particularly using the ACL2 theorem prover.
E1362071 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: David M. Russinoff | Statement: [Matt Kaufmann, coauthorWith, David M. Russinoff]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: David M. Russinoff
Context triple: [Matt Kaufmann, coauthorWith, David M. Russinoff]
  • A. Michael G. Nathanson
    Michael G. Nathanson is a film producer known for his work on major Hollywood movies, including the musical comedy-drama "Joyful Noise."
  • B. Jay O. Rothman
    Jay O. Rothman is an American attorney and academic leader who serves as president of the University of Wisconsin System.
  • C. Paul S. Rosenbloom
    Paul S. Rosenbloom is a computer scientist and cognitive scientist known for his foundational work in cognitive architectures and artificial intelligence.
  • D. Steven A. Katz
    Steven A. Katz is an American screenwriter best known for writing the metafictional horror film "Shadow of the Vampire."
  • E. Michael B. Nathanson
    Michael B. Nathanson is an American film producer known for his work on major Hollywood movies, including popular comedies and action blockbusters.
  • 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: David M. Russinoff
Triple: [Matt Kaufmann, coauthorWith, David M. Russinoff]
Generated description
David M. Russinoff is a computer scientist known for his work in formal methods and hardware verification, particularly using the ACL2 theorem prover.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: David M. Russinoff
Target entity description: David M. Russinoff is a computer scientist known for his work in formal methods and hardware verification, particularly using the ACL2 theorem prover.
  • A. Michael G. Nathanson
    Michael G. Nathanson is a film producer known for his work on major Hollywood movies, including the musical comedy-drama "Joyful Noise."
  • B. Jay O. Rothman
    Jay O. Rothman is an American attorney and academic leader who serves as president of the University of Wisconsin System.
  • C. Paul S. Rosenbloom
    Paul S. Rosenbloom is a computer scientist and cognitive scientist known for his foundational work in cognitive architectures and artificial intelligence.
  • D. Steven A. Katz
    Steven A. Katz is an American screenwriter best known for writing the metafictional horror film "Shadow of the Vampire."
  • E. Michael B. Nathanson
    Michael B. Nathanson is an American film producer known for his work on major Hollywood movies, including popular comedies and action blockbusters.
  • 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_69d85ccbbcd48190acb56e7cf104d8ad completed April 10, 2026, 2:13 a.m.
NER Named-entity recognition batch_69ded6fe42a081909308f788fdf024d5 completed April 15, 2026, 12:08 a.m.
NED1 Entity disambiguation (via context triple) batch_6a06f89123f0819086f3aeef4c309f63 completed May 15, 2026, 10:42 a.m.
NEDg Description generation batch_6a06f9666b2081908c02f7e0d63345d1 completed May 15, 2026, 10:45 a.m.
NED2 Entity disambiguation (via description) batch_6a06f9efad4c81908415dc4b56a38ddc completed May 15, 2026, 10:48 a.m.
Created at: April 10, 2026, 2:52 a.m.