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

arXiv:2609.32491 · cs.CL, cs.AI · Submitted 2026-09-26 · Read on arXiv

cs.CL, cs.AI

Submitted: 2026-09-26

Updated: 2026-09-26

Code: https://github.com/jorrytdejong/kbprojection

Terminology

Natural Language Inference — 9× in this paper
Accuracy — 7× in this paper · explained in 1 episode
Benchmark — 4× in this paper · explained in 2 episodes
Embeddings — 4× in this paper · explained in 2 episodes
Verification — 4× in this paper · explained in 2 episodes
Exact Match — 3× in this paper
Calibration — 2× in this paper · explained in 7 episodes
Alternation — 1× in this paper · explained in 1 episode
Annotation Errors — 1× in this paper · explained in 1 episode
Axioms — 1× in this paper · explained in 2 episodes
Consistency — 1× in this paper · explained in 3 episodes
Downstream Tasks — 1× in this paper · explained in 2 episodes
F1 Score — 1× in this paper · explained in 3 episodes
Large Language Models (LLMs) — 1× in this paper · explained in 6 episodes
Natural Language Inference (NLI) — 1× in this paper · explained in 2 episodes
Prompt Engineering — 1× in this paper · explained in 4 episodes
Regularization — 1× in this paper · explained in 3 episodes
Sparsity — 1× in this paper · explained in 4 episodes
Transformer — 1× in this paper · explained in 2 episodes

Sources

Related papers