论文10:56NeSyCat Torch 实现神经符号学习的可微张量范畴语义把神经符号学习统一到一个可微框架里,在 MNIST 加法上比 LTN 和 DeepProbLog 又快又准,还兼容 PyTorch。#NeSyCat Torch#ULLER#神经符号学习#MNISTaarXiv cs.LG@Daniel Romero Schellhorn 等 3 人原文稍后读已读值得跟进有用关注 NeSyCat Torch
论文精选15:51Neurosymbolic Learning 实现推理时论证:三元声明验证新框架这个框架解决了高可信场景下声明验证的忠实性和不确定性表达问题,做事实核查、医疗或金融 AI 的团队可以直接参考其可解释的推理机制。#神经符号学习#声明验证#三元分类#可解释AIaarXiv cs.AI@Gabriel Freedman 等 7 人原文稍后读已读值得跟进有用关注 神经符号学习