LangPro: Natural Language Theorem Prover

LangPro is an automated theorem prover for natural language ( Given a set of premises and a hypothesis, it is able to prove semantic relations between them... (read more)

PDF Abstract EMNLP 2017 PDF EMNLP 2017 Abstract


Results from the Paper

  Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.

Methods used in the Paper

🤖 No Methods Found Help the community by adding them if they're not listed; e.g. Deep Residual Learning for Image Recognition uses ResNet