Determining Semantic Textual Similarity using Natural Deduction Proofs
Latent Dirichlet Allocation