arXiv AI
PAGR: Proof-Carrying Algebraic-Geometric Retrieval: A Quiver-, Provenance-, and Sheaf-Theoretic Framework for Grounded LLM Retrieval
Read the original on arXiv AI →The Flow has not summarised this story yet — read it at arXiv AI.
Related stories
arXiv AI
Jun 16
Provenance-Enhanced Statements in Knowledge Graphs
arXiv:2606. 15246v1 Announce Type: cross Abstract: Provenance-enhanced statements of the form "according to $X$, $\varphi$" are pervasive in contemporary knowledge graphs, especially in domains where graph content primarily represents claims, interpretations, and hypotheses (\emph{capta}) rather than observer-independent facts (\emph{data}).
arXiv AI
Sep 1
PAGE-RAG: Provenance-Aware Graph Evidence Promotion for Fixed-Budget Multi-hop Retrieval-Augmented Generation
arXiv:2608.29753v1 Announce Type: new Abstract: Multi-hop question answering in retrieval-augmented gener?ation (RAG) often benefits from retrieving beyond the few candidates that will finally be rea...
arXiv AI
1d ago
Typed Knowledge over Constructive Institutions
arXiv:2611.07432v1 Announce Type: cross Abstract: Type theories designed for mathematics or program verification need only that a proposition holds; proof irrelevance in conversion erases, at the ker...
arXiv AI
Sep 24
Meet, Compare, or Abstain: LatWeave for Deterministic Multi-Hop Question Answering on Knowledge Lattices
LatWeave is a deterministic multi‑hop question‑answering framework that structures knowledge into a multidimensional lattice and reduces QA to three operators—meet, compare, and abstain—while limiting LLM use to extraction and planning. It achieves near‑lossless performance on complete knowledge benchmarks (e.g., MetaQA) and strong results on templated multi‑hop datasets (e.g., 2WikiMultihopQA), while transparently handling incomplete knowledge through abstention. The approach offers reproducible, auditable answer paths with no performance penalty within its operating envelope.
arXiv AI
2d ago
ArcRAG: Agentic Compositional Retrieval over Knowledge Graphs
ArcRAG is a retrieval-augmented generation system that operates over knowledge graphs without relying on construction‑specific schemas or relation names. It dynamically induces a query‑local graph interface at inference time, plans multi‑hop traversals, and executes them as Cypher queries. Experiments on MuSiQue, HotpotQA, and TriviaQA show that ArcRAG remains effective across both schema‑guided and open‑information‑extraction graph constructions, demonstrating that retrieval can be construction‑agnostic.
arXiv AI
Jul 7
TRIAGE: Trustworthy Retrieval Instrumentation And Graph Evaluation
arXiv:2607. 03447v1 Announce Type: cross Abstract: Knowledge graphs (KGs) that underpin Graph-based Retrieval-Augmented Generation (Graph-RAG) are increasingly built automatically by LLM-driven extraction rather than curated by experts.