{
  "url": "https://appliedfrontier.nl/en/research/signal-3ce6bb0dbacd6daa/",
  "title": "Explaining Textual Entailment with Lexical Entailments: Using LLMs to Supply Lexical Relations for Formal Proofs",
  "published": "2026-09-26",
  "excerpt": "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",
  "content_sha256": "0108a98bc29b179f501a37823d2ecce13bff5f4e4e74ea868b34bb49381d950b",
  "extracted_chars": 1604,
  "artifact_links": [
    "https://arxiv.org/abs/2609.32491"
  ],
  "arxiv_id": "2609.32491",
  "id": "signal-3ce6bb0dbacd6daa",
  "org": "Research community",
  "topic": "Mathematical reasoning",
  "source_kind": "preprint",
  "status": "unreviewed-source-report",
  "analysis_method": "deterministic_metadata_triage_v1",
  "novelty_verified": false,
  "proof_checked": false,
  "peer_review_verified": false,
  "matched_terms": [
    "proofs",
    "reasoning"
  ],
  "checked_at": "2026-10-31T19:17:04+00:00",
  "first_seen": "2026-10-29T21:52:00+00:00",
  "source_hash": "f62579d52fa8e16a72a335ddaba2f4e892d7c14ad8d1831a34cdd4763bbabef8",
  "source_url": "https://arxiv.org/abs/2609.32491",
  "language": "en",
  "indexing": "noindex_until_editorially_enriched"
}