Triple

T6431980
Position Surface form Disambiguated ID Type / Status
Subject Henri Cartan E129798 entity
Predicate notableWork P4 FINISHED
Object Cartan seminar
The Cartan seminar was an influential mid-20th-century Parisian mathematics seminar, led by Henri Cartan, that played a central role in the development of modern algebraic topology, complex analysis, and sheaf theory.
E592141 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: Cartan seminar | Statement: [Henri Cartan, notableWork, Cartan seminar]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Cartan seminar
Context triple: [Henri Cartan, notableWork, Cartan seminar]
  • A. Séminaire de Géométrie Algébrique du Bois Marie
    Séminaire de Géométrie Algébrique du Bois Marie is a foundational multi-volume series of advanced seminars that reshaped modern algebraic geometry through the development of schemes, cohomology theories, and the Grothendieck school’s methods.
  • B. Cartan
    Cartan is a French surname most famously associated with mathematician Élie Cartan and his influential family of mathematicians.
  • C. Cartan theorems A and B
    Cartan theorems A and B are fundamental results in complex analytic geometry that characterize coherent analytic sheaves on Stein spaces by guaranteeing the existence of enough global sections and the vanishing of higher cohomology.
  • D. Séminaire de Paris
    Séminaire de Paris is the principal Roman Catholic seminary responsible for the formation and training of future priests for the Archdiocese of Paris.
  • E. GAGA (Géométrie Algébrique et Géométrie Analytique)
    GAGA (Géométrie Algébrique et Géométrie Analytique) is Jean-Pierre Serre’s foundational 1956 paper establishing deep equivalences between algebraic geometry and complex analytic geometry, particularly for projective varieties.
  • 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: Cartan seminar
Triple: [Henri Cartan, notableWork, Cartan seminar]
Generated description
The Cartan seminar was an influential mid-20th-century Parisian mathematics seminar, led by Henri Cartan, that played a central role in the development of modern algebraic topology, complex analysis, and sheaf theory.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Cartan seminar
Target entity description: The Cartan seminar was an influential mid-20th-century Parisian mathematics seminar, led by Henri Cartan, that played a central role in the development of modern algebraic topology, complex analysis, and sheaf theory.
  • A. Séminaire de Géométrie Algébrique du Bois Marie
    Séminaire de Géométrie Algébrique du Bois Marie is a foundational multi-volume series of advanced seminars that reshaped modern algebraic geometry through the development of schemes, cohomology theories, and the Grothendieck school’s methods.
  • B. Cartan
    Cartan is a French surname most famously associated with mathematician Élie Cartan and his influential family of mathematicians.
  • C. Cartan theorems A and B
    Cartan theorems A and B are fundamental results in complex analytic geometry that characterize coherent analytic sheaves on Stein spaces by guaranteeing the existence of enough global sections and the vanishing of higher cohomology.
  • D. Séminaire de Paris
    Séminaire de Paris is the principal Roman Catholic seminary responsible for the formation and training of future priests for the Archdiocese of Paris.
  • E. GAGA (Géométrie Algébrique et Géométrie Analytique)
    GAGA (Géométrie Algébrique et Géométrie Analytique) is Jean-Pierre Serre’s foundational 1956 paper establishing deep equivalences between algebraic geometry and complex analytic geometry, particularly for projective varieties.
  • 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_69c0084caac48190a7bc2ad8ba44536f completed March 22, 2026, 3:18 p.m.
NER Named-entity recognition batch_69c0693cadf08190aca84888a3440b3d completed March 22, 2026, 10:12 p.m.
NED1 Entity disambiguation (via context triple) batch_69c640ec681881909c75a55b33c09eb6 completed March 27, 2026, 8:33 a.m.
NEDg Description generation batch_69c642c9e6448190af2a651253704e84 completed March 27, 2026, 8:41 a.m.
NED2 Entity disambiguation (via description) batch_69c643628a8881908084a417b1303d26 completed March 27, 2026, 8:44 a.m.
Created at: March 22, 2026, 4:44 p.m.