ProPPR allows a fast approximate proof procedure, in which only a small subset of the full proof graph is generated.
we introduce a probabilistic programming dependency arc prediction approach, where theory engineering is made easy.