mlsanityData to 7 Oct 2026

LangPro: Natural Language Theorem Prover

arXiv 1708.09417 ↗First posted 30 Aug 2017cs.CLcited by 15

Not on the map. Why?

Abstract (arXiv)

LangPro is an automated theorem prover for natural language (https://github.com/kovvalsky/LangPro). Given a set of premises and a hypothesis, it is able to prove semantic relations between them. The prover is based on a version of analytic tableau method specially designed for natural logic. The proof procedure operates on logical forms that preserve linguistic expressions to a large extent. %This property makes the logical forms easily obtainable from syntactic trees. %, in particular, Combinatory Categorial Grammar derivation trees. The nature of proofs is deductive and transparent. On the FraCaS and SICK textual entailment datasets, the prover achieves high results comparable to state-of-the-art.

Key facts. Cited by 15 papers in the map (data through 7 Oct 2026). First posted on arXiv 30 Aug 2017.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2021: 5; 2022: 1; 2023: 4; 2024: 2; 2025: 0; 2026: 3.

15 papers.

Sort:

By area:

  1. 2023Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translationcited by 59
  2. 2021ProoFVer: Natural Logic Theorem Proving for Fact Verificationcited by 52
  3. 2021NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoningcited by 24
  4. 2022Logical Reasoning with Span-Level Predictions for Interpretable and Robust NLI Modelscited by 17
  5. 2023RECKONING: Reasoning through Dynamic Knowledge Encodingcited by 17
  6. 2021Decomposing Natural Logic Inferences in Neural NLIcited by 4
  7. 2021Monotonicity Marking from Universal Dependency Treescited by 3
  8. 2024forallutoexistsval: Autonomous Assessment of LLMs in Formal Synthesis and Interpretation Taskscited by 3
  9. 2024Logic Agent: Enhancing Validity with Logic Rule Invocationcited by 3
  10. 2026NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Modelscited by 3
  11. 2023SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attentioncited by 1
  12. 2023Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inferencecited by 1
3 more
  1. 2021A Logic-Based Framework for Natural Language Inference in Dutchcited by 0
  2. 2026Linguistic Features for Interpretable Textual Entailmentcited by 0
  3. 2026Explaining Textual Entailment with Lexical Entailments: Using LLMs to Supply Lexical Relations for Formal Proofscited by 0