probabilistic-logic
DeepLog: the PyTorch for neurosymbolic AI
Accuracy Hides Semantic Error: A Diagnostic Arena for Neuro-Symbolic Reasoning