Advances in Lifted Importance Sampling
Probabilistic theorem proving