TY  - RPRT
TI  - A homotopy-type-theoretic generalization of neurosymbolic inference
AU  - Fernando Zhapa-Camacho
AU  - Robert Hoehndorf
PY  - 2026
UR  - https://arxiv.org/abs/2606.17851
ID  - 2606.17851
ER  -