Soft-Unification in Deep Probabilistic Logic

Jaron Maene, L. D. Raedt
2/12/2026

No official code found. Best implementation: jjcmoon/DeepSoftLog (10 stars, MIT, last commit 2024-12-13).

DOISemantic Scholar

Code Implementations(1)

jjcmoon/DeepSoftLogCommunity58%
MIT

Soft-Unification in Deep Probabilistic Logic (NeurIPS 2023)

104Cython, PrologOct 26, 20231 years agoMIT
embeddingsneurosymbolic

Cite this paper

@article{maene2026softunification,
  title  = {Soft-Unification in Deep Probabilistic Logic},
  author = {Jaron Maene and L. D. Raedt},
  year   = {2026},
  doi    = {10.52202/075280-2656},
  url    = {https://doi.org/10.52202/075280-2656},
  journal = {NEURIPS 2023 2023}
}

Discussion