Triple

T16886688
Position Surface form Disambiguated ID Type / Status
Subject Hans Lewy E421557 entity
Predicate doctoralStudent P167 FINISHED
Object Peter Lax E256920 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: Peter Lax | Statement: [Hans Lewy, doctoralStudent, Peter Lax]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Peter Lax
Context triple: [Hans Lewy, doctoralStudent, Peter Lax]
  • A. Peter Lax chosen
    Peter Lax is a Hungarian-American mathematician renowned for his fundamental contributions to partial differential equations, numerical analysis, and fluid dynamics.
  • B. Israel Mattuck
    Israel Mattuck was a prominent early 20th-century British Reform rabbi and religious leader who played a key role in establishing Liberal Judaism in the United Kingdom.
  • C. Jerrold E. Marsden
    Jerrold E. Marsden was a prominent Canadian-American mathematician renowned for his influential work in dynamical systems, classical mechanics, and geometric methods in mathematics.
  • D. Ken Rudin
    Ken Rudin is a technology executive and entrepreneur best known for his leadership role in founding the enterprise software company Siebel Systems.
  • E. Charles Fefferman
    Charles Fefferman is an American mathematician renowned for his groundbreaking work in harmonic analysis, partial differential equations, and several complex variables, and is a Fields Medalist and long-time professor at Princeton University.
  • 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_69d889d470fc8190b4aec199636c0c56 completed April 10, 2026, 5:25 a.m.
NER Named-entity recognition batch_69e3bbc126e881909dae8133ad34acc9 completed April 18, 2026, 5:13 p.m.
NED1 Entity disambiguation (via context triple) batch_6a00c2bcf290819098be9def471e02b8 completed May 10, 2026, 5:39 p.m.
Created at: April 10, 2026, 5:29 a.m.