会员服务
A homotopy-type-theoretic generalization of neurosymbolic inference
Arxiv
0+阅读 · 6月16日
Position: Logical Soundness is not a Reliable Criterion for Neurosymbolic Fact-Checking with LLMs
Arxiv
0+阅读 · 4月5日
NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
Arxiv
0+阅读 · 4月27日
A Semantic Framework for Neural-Symbolic Computing
Arxiv
0+阅读 · 2023年4月17日
Interval Logic Tensor Networks
Arxiv
0+阅读 · 2023年3月31日
参考链接
微信扫码咨询专知VIP会员
Top