{"id":"2606.17851","title":"A homotopy-type-theoretic generalization of neurosymbolic inference","url":"https://codeofpaper.com/paper/2606.17851","arxiv_url":"https://arxiv.org/abs/2606.17851","published":"2026-06-16","code":"official","best":{"full_name":"bio-ontology-research-group/hott-nesy","url":"https://github.com/bio-ontology-research-group/hott-nesy","tier":"official","stars":0,"license":null,"framework":null,"language":"Python","last_commit":"2026-06-11T12:19:45"},"most_starred_community":null,"implementations":[{"full_name":"bio-ontology-research-group/hott-nesy","url":"https://github.com/bio-ontology-research-group/hott-nesy","tier":"official","stars":0,"license":null,"framework":null,"language":"Python","last_commit":"2026-06-11T12:19:45"}],"possible_matches":0}