A homotopy-type-theoretic generalization of neurosymbolic inference

arXiv:2606.17851 · cs.AI, cs.LO · Submitted 2026-06-16 · Read on arXiv

cs.AI, cs.LO

Submitted: 2026-06-16

Updated: 2026-08-31

Code: https://github.com/bio-ontology-research-group/hott-nesy

Terminology

Accuracy — 17× in this paper · explained in 1 episode
Provenance — 6× in this paper · explained in 4 episodes
Calibration — 5× in this paper · explained in 7 episodes
Benchmark — 4× in this paper · explained in 2 episodes
Generalization — 3× in this paper · explained in 13 episodes
Grounding — 3× in this paper · explained in 3 episodes
Degeneracy — 2× in this paper · explained in 3 episodes
Exchangeability — 2× in this paper · explained in 2 episodes
Generative AI — 2× in this paper · explained in 2 episodes
Ontology — 2× in this paper · explained in 2 episodes
Abstraction — 1× in this paper · explained in 1 episode
Adam — 1× in this paper · explained in 2 episodes
Axioms — 1× in this paper · explained in 2 episodes
Diffusion Model — 1× in this paper · explained in 8 episodes
Diffusion Models — 1× in this paper · explained in 6 episodes
In International Conference on Machine Learning — 1× in this paper
Knowledge Graph — 1× in this paper · explained in 7 episodes
Loss Function — 1× in this paper · explained in 2 episodes
Sparsity — 1× in this paper · explained in 4 episodes

Sources

Related papers