TY  - RPRT
TI  - Explaining Textual Entailment with Lexical Entailments: Using LLMs to Supply Lexical Relations for Formal Proofs
AU  - Jorryt de Jong
AU  - Stefan Moraca
AU  - Ettore Cesari
AU  - Lasha Abzianidze
PY  - 2026
UR  - https://arxiv.org/abs/2609.32491
ID  - 2609.32491
ER  -