On a single Thucydides corpus, strong LLMs extract more events without RAG, weak LLMs benefit from simple RAG but collapse under complex RAG, and a Coq translation is proposed to justify RAG-discovered event types.
Proof assistants for natural language semantics
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.CL 1years
2025 1verdicts
REJECT 1roles
background 1polarities
support 1representative citing papers
citing papers explorer
-
Reasoning with RAGged events: RAG-Enhanced Event Knowledge Base Construction and reasoning with proof-assistants
On a single Thucydides corpus, strong LLMs extract more events without RAG, weak LLMs benefit from simple RAG but collapse under complex RAG, and a Coq translation is proposed to justify RAG-discovered event types.