Triple

T20690860
Position Surface form Disambiguated ID Type / Status
Subject Donaldson invariants E508544 entity
Predicate relatedTo P37 FINISHED
Object Floer homology NE NERFINISHED

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: Floer homology | Statement: [Donaldson invariants, relatedTo, Floer homology]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Floer homology
Context triple: [Donaldson invariants, relatedTo, Floer homology]
  • A. Floer theory chosen
    Floer theory is a branch of symplectic geometry and low-dimensional topology that extends Morse-theoretic ideas to infinite-dimensional spaces, providing powerful tools for studying periodic orbits, Lagrangian intersections, and invariants such as Floer homology.
  • B. Arnold conjecture
    The Arnold conjecture is a central statement in symplectic geometry predicting a lower bound on the number of fixed points of Hamiltonian diffeomorphisms in terms of the topology of the underlying manifold.
  • C. Introduction to Symplectic Topology
    Introduction to Symplectic Topology is a foundational graduate-level textbook that systematically develops the theory and applications of symplectic manifolds and symplectic geometry.
  • D. McDuff–Salamon theory of J-holomorphic curves
    The McDuff–Salamon theory of J-holomorphic curves is a foundational framework in symplectic geometry that systematically develops the analysis, topology, and applications of pseudoholomorphic curves in symplectic manifolds.
  • E. Morse Theory
    Morse Theory is a branch of differential topology that studies the relationship between the topology of manifolds and the critical points of smooth real-valued functions defined on them.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

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_69e0b4c1ed408190b72dd26b1e33f8a1 completed April 16, 2026, 10:06 a.m.
NER Named-entity recognition batch_69e6c10d83548190a52b9ef84c8f9205 completed April 21, 2026, 12:13 a.m.
Created at: April 16, 2026, 12:08 p.m.