Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1708.09417
Cited By
LangPro: Natural Language Theorem Prover
30 August 2017
Lasha Abzianidze
LRM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"LangPro: Natural Language Theorem Prover"
1 / 1 papers shown
Title
Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference
Lasha Abzianidze
LRM
XAI
78
0
0
15 Nov 2023
1
