Embeddings as Probabilistic Equivalence in Logic Programs (NeurIPS2025) - View it on GitHub