A Natural Proof System for Natural Language

By Lasha Abzianidze. 2017

6 citations recorded by the source corpus.

Subfields: Natural Language Processing

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Natural Language Processing

1. Andreas Vlachos
2. Sebastian Riedel
3. Amrith Krishna
4. Lasha Abzianidze
5. James Thorne
6. Mohit Bansal
7. Neema Kotonya
8. Tim Rocktaschel

Citations in the corpus

• ProoFVer: Natural Logic Theorem Proving for Fact Verification (2021, background): “Natural logic operates directly on natural language (Angeli and Manning, 2014; Abzianidze, 2017b).”
• LangPro: Natural Language Theorem Prover (2017, methodology): “If stronger alignment is used (i.e. aligning indefinite NPs), the accuracy on SICK is increased by 2%.”