Triple

T17227127
Position Surface form Disambiguated ID Type / Status
Subject Senior Whitehead Prize E418142 entity
Predicate hasNotableRecipient P108 FINISHED
Object Kevin Buzzard
Kevin Buzzard is a British mathematician known for his work in number theory and for pioneering the use of formal proof verification in mainstream mathematics.
E1257333 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: Kevin Buzzard | Statement: [Senior Whitehead Prize, hasNotableRecipient, Kevin Buzzard]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Kevin Buzzard
Context triple: [Senior Whitehead Prize, hasNotableRecipient, Kevin Buzzard]
  • A. Simon Milne
    Simon Milne is a music video director best known for his work on prominent 1980s pop videos, including projects for bands like Duran Duran.
  • B. William A. Stein
    William A. Stein is an American mathematician and computer scientist best known as the founder and lead developer of the open-source mathematical software system SageMath.
  • C. Timothy Gowers
    Timothy Gowers is a British mathematician renowned for his work in functional analysis and combinatorics, a Fields Medalist, and a prominent advocate for open access and collaborative mathematics.
  • D. Michael Ellenberg
    Michael Ellenberg is a television producer and media executive best known for developing and producing high-profile prestige series, including the Apple TV+ drama "The Morning Show."
  • E. Jordan Ellenberg
    Jordan Ellenberg is an American mathematician and author known for his popular math writing, including the bestselling book "How Not to Be Wrong: The Power of Mathematical Thinking."
  • 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: Kevin Buzzard
Triple: [Senior Whitehead Prize, hasNotableRecipient, Kevin Buzzard]
Generated description
Kevin Buzzard is a British mathematician known for his work in number theory and for pioneering the use of formal proof verification in mainstream mathematics.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Kevin Buzzard
Target entity description: Kevin Buzzard is a British mathematician known for his work in number theory and for pioneering the use of formal proof verification in mainstream mathematics.
  • A. Simon Milne
    Simon Milne is a music video director best known for his work on prominent 1980s pop videos, including projects for bands like Duran Duran.
  • B. William A. Stein
    William A. Stein is an American mathematician and computer scientist best known as the founder and lead developer of the open-source mathematical software system SageMath.
  • C. Timothy Gowers
    Timothy Gowers is a British mathematician renowned for his work in functional analysis and combinatorics, a Fields Medalist, and a prominent advocate for open access and collaborative mathematics.
  • D. Michael Ellenberg
    Michael Ellenberg is a television producer and media executive best known for developing and producing high-profile prestige series, including the Apple TV+ drama "The Morning Show."
  • E. Jordan Ellenberg
    Jordan Ellenberg is an American mathematician and author known for his popular math writing, including the bestselling book "How Not to Be Wrong: The Power of Mathematical Thinking."
  • 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_69d886d779488190b131369541c04e7d completed April 10, 2026, 5:12 a.m.
NER Named-entity recognition batch_69e42de239a08190936a1d635b0b1b87 completed April 19, 2026, 1:20 a.m.
NED1 Entity disambiguation (via context triple) batch_6a01675eae08819093427b4dc1ffee5f completed May 11, 2026, 5:21 a.m.
NEDg Description generation batch_6a016a1f6eac8190951ae30f37144d2a completed May 11, 2026, 5:33 a.m.
NED2 Entity disambiguation (via description) batch_6a016a92af248190aaed36040486bf40 completed May 11, 2026, 5:35 a.m.
Created at: April 10, 2026, 5:39 a.m.