Triple

T36876440
Position Surface form Disambiguated ID Type / Status
Subject Bloch–Kato conjecture E911354 entity
Predicate provedBy P202 FINISHED
Object Charles Weibel
Charles Weibel is an American mathematician known for his influential work in algebraic K-theory and related areas of algebraic geometry and number theory.
E2282734 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: Charles Weibel | Statement: [Bloch–Kato conjecture, provedBy, Charles Weibel]
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: Charles Weibel
Triple: [Bloch–Kato conjecture, provedBy, Charles Weibel]
Generated description
Charles Weibel is an American mathematician known for his influential work in algebraic K-theory and related areas of algebraic geometry and number theory.

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_69f76e82339881909607a65c0503d941 completed May 3, 2026, 3:49 p.m.
NER Named-entity recognition batch_69f7cff72b288190bcf7f370edb91503 completed May 3, 2026, 10:45 p.m.
NED1 Entity disambiguation (via context triple) batch_6a4223a0e5a481908b4115508ec91485 completed June 29, 2026, 7:49 a.m.
NEDg Description generation batch_6a4224884dd48190b44b4bb02f147cc2 completed June 29, 2026, 7:53 a.m.
NED2 Entity disambiguation (via description) batch_6a422504b3ec8190a3c53e913edbc35b completed June 29, 2026, 7:55 a.m.
Created at: May 3, 2026, 4:13 p.m.