On the verification of Embeddings using Hybrid Markov Logic

Re-assign community