Triple

T20690424
Position Surface form Disambiguated ID Type / Status
Subject SO(32) heterotic string theory E508535 entity
Predicate compactificationManifoldsInclude P116456 FINISHED
Object Calabi–Yau threefolds 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: Calabi–Yau threefolds | Statement: [SO(32) heterotic string theory, compactificationManifoldsInclude, Calabi–Yau threefolds]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Calabi–Yau threefolds
Context triple: [SO(32) heterotic string theory, compactificationManifoldsInclude, Calabi–Yau threefolds]
  • A. Calabi–Yau manifold chosen
    A Calabi–Yau manifold is a special type of complex manifold with vanishing first Chern class that plays a central role in string theory compactifications and complex algebraic geometry.
  • B. Strominger–Yau–Zaslow conjecture
    The Strominger–Yau–Zaslow conjecture is a proposal in mirror symmetry stating that mirror pairs of Calabi–Yau manifolds can be understood as dual special Lagrangian torus fibrations, providing a geometric explanation of mirror symmetry.
  • C. Simons Collaboration on Homological Mirror Symmetry
    The Simons Collaboration on Homological Mirror Symmetry is a research initiative that brings together mathematicians and physicists to advance the theory and applications of homological mirror symmetry.
  • D. Simons Collaboration on Special Holonomy in Geometry, Analysis and Physics
    The Simons Collaboration on Special Holonomy in Geometry, Analysis and Physics is a research initiative that brings together mathematicians and theoretical physicists to study manifolds with special holonomy and their applications in geometry, analysis, and fundamental physics.
  • E. Calabi–Yau metric
    A Calabi–Yau metric is a special Ricci-flat Kähler metric with SU(n) holonomy that endows Calabi–Yau manifolds with their characteristic geometric and physical properties.
  • 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: compactificationManifoldsInclude
Context triple: [SO(32) heterotic string theory, compactificationManifoldsInclude, Calabi–Yau threefolds]
  • A. compactificationShape chosen
    Indicates the specific geometric or topological form used to compactify extra dimensions or spaces in a theoretical construction.
  • B. isOnePointCompactificationOf
    Indicates that one topological space is obtained from another by adding a single “point at infinity” so that the resulting space is compact and extends the original space in a minimal way.
  • C. isLocallyCompact
    Indicates that a topological space has the property that every point has a neighborhood whose closure is compact.
  • D. isComplexificationOf
    Indicates that one entity is a more complex or elaborated version derived from another, simpler entity.
  • E. isNoncompact
    Indicates that the object (such as a space or set) lacks compactness, meaning it does not satisfy the property that every open cover has a finite subcover.
  • F. None of above.

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_69e0b4c1ed408190b72dd26b1e33f8a1 completed April 16, 2026, 10:06 a.m.
NER Named-entity recognition batch_69e6c10cb5588190acb88f2c82fc593a completed April 21, 2026, 12:13 a.m.
PD Predicate disambiguation batch_69e5c03caee881908be4dd25796a03d5 completed April 20, 2026, 5:57 a.m.
Created at: April 16, 2026, 12:08 p.m.