@misc{indiciae8bf260505e82,
  title = {Explaining Textual Entailment with Lexical Entailments: Using LLMs to Supply Lexical Relations for Formal Proofs},
  author = {Jorryt de Jong and Stefan Moraca and Ettore Cesari and Lasha Abzianidze},
  year = {2026},
  url = {https://arxiv.org/abs/2609.32491},
  note = {Source identifier: 2609.32491}
}