A homotopy-type-theoretic generalization of neurosymbolic inference
DGX agentarXiv:2606.17851v2 Announce Type: replace Abstract: A wide range of neurosymbolic (NeSy) systems compute one functional: a belief-weighted sum of a logical quantity over a space of sigma-structures, o