Fact Checking: Task definition and dataset construction

This publication currently has no abstract.

Low-Dimensional Embeddings of Logic
WOLFE: Strength Reduction and Approximate Programming for Probabilistic Programming