Triple
T18282753
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | David Bressoud |
E437902
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object | Proofs and Confirmations: The Story of the Alternating Sign Matrix Conjecture |
—
|
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: Proofs and Confirmations: The Story of the Alternating Sign Matrix Conjecture | Statement: [David Bressoud, notableWork, Proofs and Confirmations: The Story of the Alternating Sign Matrix Conjecture]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Proofs and Confirmations: The Story of the Alternating Sign Matrix Conjecture Context triple: [David Bressoud, notableWork, Proofs and Confirmations: The Story of the Alternating Sign Matrix Conjecture]
-
A.
Sylvester’s theorem on partitions
Sylvester’s theorem on partitions is a result in number theory that provides a systematic way to count integer partitions subject to certain congruence or restriction conditions, forming part of the foundational work in partition theory.
-
B.
Alon–Tarsi conjecture
The Alon–Tarsi conjecture is a prominent open problem in combinatorics and graph theory concerning orientations and colorings of graphs, with deep connections to Latin squares and polynomial method techniques.
-
C.
Rogers–Ramanujan identities
The Rogers–Ramanujan identities are two famous q-series equalities in number theory and combinatorics that relate infinite series to infinite products and have deep connections to partition theory and modular forms.
-
D.
Foundations of Combinatorial Theory
Foundations of Combinatorial Theory is a seminal mathematical work by Gian-Carlo Rota that helped establish modern combinatorics as a rigorous and unified field of study.
-
E.
Fellini–Rota collaborations
The Fellini–Rota collaborations are the celebrated series of film projects in which Italian director Federico Fellini worked closely with composer Nino Rota to create some of the most iconic and influential soundtracks in cinema history.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Proofs and Confirmations: The Story of the Alternating Sign Matrix Conjecture Target entity description: "Proofs and Confirmations: The Story of the Alternating Sign Matrix Conjecture" is a mathematical monograph by David Bressoud that explores the history, ideas, and eventual proof of the alternating sign matrix conjecture, illustrating how modern combinatorics and proof techniques develop in practice.
-
A.
Sylvester’s theorem on partitions
Sylvester’s theorem on partitions is a result in number theory that provides a systematic way to count integer partitions subject to certain congruence or restriction conditions, forming part of the foundational work in partition theory.
-
B.
Alon–Tarsi conjecture
The Alon–Tarsi conjecture is a prominent open problem in combinatorics and graph theory concerning orientations and colorings of graphs, with deep connections to Latin squares and polynomial method techniques.
-
C.
Rogers–Ramanujan identities
The Rogers–Ramanujan identities are two famous q-series equalities in number theory and combinatorics that relate infinite series to infinite products and have deep connections to partition theory and modular forms.
-
D.
Foundations of Combinatorial Theory
Foundations of Combinatorial Theory is a seminal mathematical work by Gian-Carlo Rota that helped establish modern combinatorics as a rigorous and unified field of study.
-
E.
Fellini–Rota collaborations
The Fellini–Rota collaborations are the celebrated series of film projects in which Italian director Federico Fellini worked closely with composer Nino Rota to create some of the most iconic and influential soundtracks in cinema history.
- F. None of above. chosen
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_69d8b914530c8190b4474d862a2b2a1b |
completed | April 10, 2026, 8:47 a.m. |
| NER | Named-entity recognition | batch_69e50057c5c881909fcda72f4a98c8c3 |
completed | April 19, 2026, 4:18 p.m. |
Created at: April 10, 2026, 10:35 a.m.