The PyTorch for neurosymbolic AI: state the logic, and DeepLog compiles it into a differentiable PyTorch module that runs on the GPU.
Multi-Valued Sentential Decision Diagrams — a knowledge-compilation library with k-ary categorical fan-out at vtree leaves
ProbLog2: Probabilistic Logic Programming toolbox
DeepProbLog: Problog with neural networks
Sentential Decision Diagrams
Neural Stochastic Logic Programming
Anthropic, PBC
Visionary sponsor
Bloomberg
Visionary sponsor
Hudson River Trading
Visionary sponsor
Meta
Visionary sponsor
NVIDIA
Visionary sponsor
Microsoft
Sustainability sponsor
Depot
Continuous Integration
AWS
Cloud computing and Security Sponsor
Datadog
Monitoring
Fastly
CDN
Google
Download Analytics
Sentry
Error logging
StatusPage
Status page