Triple

T23234804
Position Surface form Disambiguated ID Type / Status
Subject p-adic analytic groups E581256 entity
Predicate usedIn P98 FINISHED
Object local Langlands correspondence — 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: local Langlands correspondence | Statement: [p-adic analytic groups, usedIn, local Langlands correspondence]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: local Langlands correspondence
Context triple: [p-adic analytic groups, usedIn, local Langlands correspondence]
  • A. Langlands classification
    The Langlands classification is a fundamental framework in representation theory that systematically describes all irreducible admissible representations of a real or p-adic reductive group in terms of data from its parabolic subgroups and their characters.
  • B. Langlands program
    The Langlands program is a far-reaching web of conjectures and theories in number theory and representation theory that seeks deep connections between Galois groups and automorphic forms, unifying many areas of modern mathematics.
  • C. Shimura correspondence
    The Shimura correspondence is a fundamental result in number theory that establishes a deep link between modular forms of half-integral weight and modular forms of integral weight, with important applications to L-functions and arithmetic geometry.
  • D. Weil–Deligne representations chosen
    Weil–Deligne representations are algebraic objects combining a representation of the Weil group with a nilpotent operator, used to describe local Galois representations and formulate the local Langlands correspondence.
  • E. Deligne–Lusztig theory
    Deligne–Lusztig theory is a framework in algebraic geometry and representation theory that constructs and studies representations of finite groups of Lie type using varieties defined over finite fields.
  • 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_69e2460556f88190be1744a84a84173f completed April 17, 2026, 2:39 p.m.
NER Named-entity recognition batch_69f192e8c7548190b53434eeb2620a6e completed April 29, 2026, 5:11 a.m.
Created at: April 17, 2026, 4:09 p.m.