# Explaining Textual Entailment with Lexical Entailments: Using LLMs to Supply Lexical Relations for Formal Proofs

Source: https://arxiv.org/abs/2609.32491
Published: 2026-09-26
Status: unreviewed source report

## Source excerpt (up to 25 words)

> Large Language Models (LLMs) are highly capable of natural language reasoning and appear to store a great deal of lexical knowledge, but it is still

## Review question

Check the benchmark version, sampling budget, data contamination controls, human interventions and proof-review method. A final answer or benchmark score is not evidence that every reasoning step is valid.

No independent proof check or claim of peer review.