Triple

T11365360
Position Surface form Disambiguated ID Type / Status
Subject Deligne–Lusztig theory E269188 entity
Predicate contextOf P2919 FINISHED
Object Chevalley groups E559863 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: Chevalley groups | Statement: [Deligne–Lusztig theory, contextOf, Chevalley groups]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Chevalley groups
Context triple: [Deligne–Lusztig theory, contextOf, Chevalley groups]
  • A. Chevalley groups chosen
    Chevalley groups are a broad class of linear algebraic groups constructed over arbitrary fields that generalize classical Lie groups and play a central role in the classification of finite simple groups.
  • B. Chevalley
    Chevalley is a French surname most prominently associated with Claude Chevalley, a influential 20th-century mathematician known for his work in algebra and group theory.
  • C. Real Reductive Groups II
    Real Reductive Groups II is a graduate-level mathematics monograph by Nolan Wallach that develops the representation theory and harmonic analysis of real reductive Lie groups in depth.
  • D. The Classical Groups: Their Invariants and Representations
    The Classical Groups: Their Invariants and Representations is a foundational mathematical monograph by Hermann Weyl that systematically develops the theory of classical Lie groups, their invariants, and their representation theory.
  • 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 (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_69d6aacca1048190b39dbbc2174616fa completed April 8, 2026, 7:21 p.m.
NER Named-entity recognition batch_69d7ea4589908190948a8225768e1eec completed April 9, 2026, 6:04 p.m.
NED1 Entity disambiguation (via context triple) batch_69e55667d4908190b6290135eba41e54 completed April 19, 2026, 10:25 p.m.
Created at: April 8, 2026, 9:33 p.m.