Triple

T18108957
Position Surface form Disambiguated ID Type / Status
Subject Track A: Algorithms, Complexity and Games E433421 entity
Predicate hasAbbreviation P43 FINISHED
Object ICALP Track A — 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: ICALP Track A | Statement: [Track A: Algorithms, Complexity and Games, hasAbbreviation, ICALP Track A]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: ICALP Track A
Context triple: [Track A: Algorithms, Complexity and Games, hasAbbreviation, ICALP Track A]
  • A. International Colloquium on Automata, Languages and Programming chosen
    The International Colloquium on Automata, Languages and Programming (ICALP) is a leading annual conference in theoretical computer science, focusing on automata theory, formal languages, algorithms, and computational complexity.
  • B. Track B: Automata, Logic, Semantics and Theory of Programming
    Track B: Automata, Logic, Semantics and Theory of Programming is a main research track of the International Colloquium on Automata, Languages and Programming focusing on theoretical foundations of computation, programming languages, and formal methods.
  • C. European Association for Theoretical Computer Science
    The European Association for Theoretical Computer Science is a professional organization that promotes research, education, and collaboration in theoretical computer science across Europe and beyond.
  • D. ACM Symposium on Theory of Computing
    The ACM Symposium on Theory of Computing (STOC) is a premier annual research conference in theoretical computer science, featuring groundbreaking work in algorithms, complexity theory, cryptography, and related areas.
  • E. Theoretical Computer Science
    Theoretical Computer Science is a branch of computer science that focuses on mathematical and abstract foundations of computation, including algorithms, complexity, automata, and formal languages.
  • 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_69d8b90916008190a1f110bd7ced5473 completed April 10, 2026, 8:47 a.m.
NER Named-entity recognition batch_69e4ddbbfae88190aa77f498dbb9edcb completed April 19, 2026, 1:50 p.m.
Created at: April 10, 2026, 10:28 a.m.