Triple

T3044283
Position Surface form Disambiguated ID Type / Status
Subject Leroy P. Steele Prize E83406 entity
Predicate namedAfter P63 FINISHED
Object Leroy P. Steele
Leroy P. Steele was an American mathematician and philanthropist whose bequest to the American Mathematical Society led to the establishment of the prestigious Leroy P. Steele Prizes recognizing outstanding research and exposition in mathematics.
 E360345 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: Leroy P. Steele | Statement: [Leroy P. Steele Prize, namedAfter, Leroy P. Steele]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Leroy P. Steele
Context triple: [Leroy P. Steele Prize, namedAfter, Leroy P. Steele]
  • A. H. Guyford Stever
    H. Guyford Stever was an American physicist and engineer who served as director of the National Science Foundation and played a key role in shaping U.S. science and technology policy in the mid-20th century.
  • 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. 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.
  • D. Fred M. Wilcox
    Fred M. Wilcox was an American film director best known for the science fiction classic "Forbidden Planet" and the family film "Lassie Come Home."
  • E. John A. Alonzo
    John A. Alonzo was an American cinematographer best known for his influential work on films such as "Chinatown," which helped define the visual style of 1970s Hollywood cinema.
  • 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: Leroy P. Steele
Triple: [Leroy P. Steele Prize, namedAfter, Leroy P. Steele]
Generated description
Leroy P. Steele was an American mathematician and philanthropist whose bequest to the American Mathematical Society led to the establishment of the prestigious Leroy P. Steele Prizes recognizing outstanding research and exposition in mathematics.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07 
Target entity: Leroy P. Steele
Target entity description: Leroy P. Steele was an American mathematician and philanthropist whose bequest to the American Mathematical Society led to the establishment of the prestigious Leroy P. Steele Prizes recognizing outstanding research and exposition in mathematics.
  • A. H. Guyford Stever
    H. Guyford Stever was an American physicist and engineer who served as director of the National Science Foundation and played a key role in shaping U.S. science and technology policy in the mid-20th century.
  • 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. 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.
  • D. Fred M. Wilcox
    Fred M. Wilcox was an American film director best known for the science fiction classic "Forbidden Planet" and the family film "Lassie Come Home."
  • E. John A. Alonzo
    John A. Alonzo was an American cinematographer best known for his influential work on films such as "Chinatown," which helped define the visual style of 1970s Hollywood cinema.
  • 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_69ad8b24924c8190a9bb6f61d519e4ae completed March 8, 2026, 2:43 p.m.
NER Named-entity recognition batch_69ad9b5ec5988190b8b6c95c743c6d1e completed March 8, 2026, 3:53 p.m.
NED1 Entity disambiguation (via context triple) batch_69b367e2fbb8819084e01920d2a37b80 completed March 13, 2026, 1:26 a.m.
NEDg Description generation batch_69b36888570c819097e801e76a4e14ac completed March 13, 2026, 1:29 a.m.
NED2 Entity disambiguation (via description) batch_69b368f5e92c8190893929d2ed0f5c6a completed March 13, 2026, 1:31 a.m.
Created at: March 8, 2026, 3:01 p.m.