Triple

T591791
Position Surface form Disambiguated ID Type / Status
Subject Probabilistic Encryption E17287 entity
Predicate wasFormalizedBy P6279 FINISHED
Object Shafi Goldwasser E2908 NE FINISHED

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: Shafi Goldwasser | Statement: [Probabilistic Encryption, wasFormalizedBy, Shafi Goldwasser]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Shafi Goldwasser
Context triple: [Probabilistic Encryption, wasFormalizedBy, Shafi Goldwasser]
  • A. Shafi Goldwasser chosen
    Shafi Goldwasser is an Israeli-American computer scientist renowned for her foundational contributions to cryptography and computational complexity theory.
  • B. Oded Goldreich
    Oded Goldreich is an Israeli computer scientist renowned for his foundational contributions to cryptography, computational complexity, and the theory of pseudorandomness.
  • C. Silvio Micali
    Silvio Micali is an Italian computer scientist renowned for his foundational contributions to cryptography, zero-knowledge proofs, and secure protocols.
  • D. Adi Shamir
    Adi Shamir is an Israeli cryptographer best known as one of the co-inventors of the RSA public-key cryptosystem and a foundational figure in modern cryptography.
  • E. Avi Wigderson
    Avi Wigderson is a prominent Israeli-American computer scientist renowned for his foundational contributions to computational complexity theory and for receiving the Turing Award.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
PD Predicate disambiguation gpt-5-mini-2025-08-07 
Target predicate: wasFormalizedBy
Context triple: [Probabilistic Encryption, wasFormalizedBy, Shafi Goldwasser]
  • A. isFormalizedBy
    Indicates that something is given a defined, structured, or official form through a specific method, process, or representation.
  • B. termFormalizedBy chosen
    Indicates that a given term has been formally defined, specified, or codified by a particular formalization (such as a formal theory, document, or system).
  • C. formedBy
    Indicates that something comes into existence or is created as a result of a specific agent, process, or combination of components.
  • D. believedToBeInstitutedBy
    Indicates that something is thought or assumed to have been established, founded, or created by a particular agent or entity.
  • E. enactedBy
    Indicates that a law, policy, or formal measure is officially established or brought into effect by a specific authority or governing body.
  • F. None of above.

Provenance (4 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_69a49379d09c8190ac7e00b24e2810b1 completed March 1, 2026, 7:28 p.m.
NER Named-entity recognition batch_69a49bbaf53081908eed240bed09f63b completed March 1, 2026, 8:04 p.m.
NED1 Entity disambiguation (via context triple) batch_69a5216e11248190a8c564a482d649a6 completed March 2, 2026, 5:34 a.m.
PD Predicate disambiguation batch_69a494cc13988190892ca10bd7ae9f09 completed March 1, 2026, 7:34 p.m.
Created at: March 1, 2026, 7:33 p.m.