Triple

T18281417
Position Surface form Disambiguated ID Type / Status
Subject Levchin Prize for Real-World Cryptography E437871 entity
Predicate hasLaureate P1618 FINISHED
Object Paul Kocher — NE NERFINISHED

How this triple was built (3 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: Paul Kocher | Statement: [Levchin Prize for Real-World Cryptography, hasLaureate, Paul Kocher]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Paul Kocher
Context triple: [Levchin Prize for Real-World Cryptography, hasLaureate, Paul Kocher]
  • A. John Kelsey
    John Kelsey is an American cryptographer known for his contributions to symmetric-key cryptography and the design of several notable encryption algorithms.
  • B. 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.
  • C. Hugo Krawczyk
    Hugo Krawczyk is a prominent cryptographer known for foundational contributions to modern cryptographic protocols and standards, including the design of HMAC and key exchange mechanisms used in Internet security.
  • D. Gerard J. Holzmann
    Gerard J. Holzmann is a computer scientist best known for creating the SPIN model checker and for his influential work in formal verification and software reliability.
  • E. Gale E. Halderman
    Gale E. Halderman was an American automobile designer best known as the principal stylist behind the original Ford Mustang.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07 
Target entity: Paul Kocher
Target entity description: Paul Kocher is an American cryptographer renowned for his pioneering work on side-channel attacks and SSL/TLS security, for which he has received major honors in real-world cryptography.
  • A. John Kelsey
    John Kelsey is an American cryptographer known for his contributions to symmetric-key cryptography and the design of several notable encryption algorithms.
  • B. 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.
  • C. Hugo Krawczyk
    Hugo Krawczyk is a prominent cryptographer known for foundational contributions to modern cryptographic protocols and standards, including the design of HMAC and key exchange mechanisms used in Internet security.
  • D. Gerard J. Holzmann
    Gerard J. Holzmann is a computer scientist best known for creating the SPIN model checker and for his influential work in formal verification and software reliability.
  • E. Gale E. Halderman
    Gale E. Halderman was an American automobile designer best known as the principal stylist behind the original Ford Mustang.
  • F. None of above. chosen

Provenance (2 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_69d8b914530c8190b4474d862a2b2a1b completed April 10, 2026, 8:47 a.m.
NER Named-entity recognition batch_69e50056ea0481908d66bf263ac80c75 completed April 19, 2026, 4:18 p.m.
Created at: April 10, 2026, 10:35 a.m.