Triple
T10388496
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Vladimir Voevodsky |
E244828
|
entity |
| Predicate | notableIdea |
P4
|
FINISHED |
| Object |
univalent foundations program
The univalent foundations program is a research initiative that redefines the foundations of mathematics using homotopy type theory, emphasizing computationally verifiable proofs and new connections between logic, topology, and category theory.
|
E860090
|
NE FINISHED |
Disambiguation candidates (2 decisions)
The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: univalent foundations program Context triple: [Vladimir Voevodsky, notableIdea, univalent foundations program]
-
A.
Archive of Formal Proofs
The Archive of Formal Proofs is an online, peer-reviewed collection of machine-checked mathematical and computer science proofs formalized primarily in the Isabelle proof assistant.
-
B.
Isabelle proof assistant
Isabelle proof assistant is a widely used interactive theorem prover and generic proof assistant designed for formal verification and mathematical logic, particularly known for its support of higher-order logic.
-
C.
Grothendieck universe
A Grothendieck universe is a set-theoretic construct large enough to contain all the usual objects and operations of mathematics, used to rigorously handle "large" categories while avoiding paradoxes.
-
D.
Recent Synthetic Differential Geometry
"Recent Synthetic Differential Geometry" is a mathematical work by Herbert Busemann that develops differential geometry using synthetic, axiomatic methods rather than traditional analytic techniques.
-
E.
Grothendieck toposes
Grothendieck toposes are highly structured categories that generalize topological spaces and serve as a unifying framework for geometry, logic, and cohomology in modern mathematics.
- 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: univalent foundations program Target entity description: The univalent foundations program is a research initiative that redefines the foundations of mathematics using homotopy type theory, emphasizing computationally verifiable proofs and new connections between logic, topology, and category theory.
-
A.
Archive of Formal Proofs
The Archive of Formal Proofs is an online, peer-reviewed collection of machine-checked mathematical and computer science proofs formalized primarily in the Isabelle proof assistant.
-
B.
Isabelle proof assistant
Isabelle proof assistant is a widely used interactive theorem prover and generic proof assistant designed for formal verification and mathematical logic, particularly known for its support of higher-order logic.
-
C.
Grothendieck universe
A Grothendieck universe is a set-theoretic construct large enough to contain all the usual objects and operations of mathematics, used to rigorously handle "large" categories while avoiding paradoxes.
-
D.
Recent Synthetic Differential Geometry
"Recent Synthetic Differential Geometry" is a mathematical work by Herbert Busemann that develops differential geometry using synthetic, axiomatic methods rather than traditional analytic techniques.
-
E.
Grothendieck toposes
Grothendieck toposes are highly structured categories that generalize topological spaces and serve as a unifying framework for geometry, logic, and cohomology in modern mathematics.
- F. None of above. chosen
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d381b5116081908d85227bab6d3c0c |
elicitation | completed |
| NER | batch_69d4e9a59d688190b1da1ea0ed48fafa |
ner | completed |
| NED1 | batch_69d795b2423c8190a7c0e9b6fcbcc6db |
ned_source_triple | completed |
| NED2 | batch_69d79aa0cc5481908bc14cda8fb6e8b1 |
ned_description | completed |
| NEDg | batch_69d7998acbf881909b6f063c4bf2d0a6 |
nedg | completed |
Created at: April 6, 2026, 12:05 p.m.