Pith Number

pith:CVIF262L

pith:2026:CVIF262LPIA4NGYUKCH4BZM53T

not attested not anchored not stored refs resolved

Derivation Prompting: A Logic-Based Method for Improving Retrieval-Augmented Generation

Aiala Ros\'a, Guillermo Moncecchi, Ignacio Sastre

Derivation Prompting builds an interpretable logic tree from predefined rules to guide RAG generation and reduce unacceptable answers.

arxiv:2605.14053 v1 · 2026-05-13 · cs.CL · cs.AI

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{CVIF262LPIA4NGYUKCH4BZM53T}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Claims

C1strongest claim

It constructs a derivation tree that is interpretable and adds control over the generation process. We applied this method in a specific case study, significantly reducing unacceptable answers compared to traditional RAG and long-context window methods.

C2weakest assumption

That predefined rules can be reliably encoded in prompts and followed by the LLM to produce valid, non-deviating derivation steps without introducing new errors or hallucinations in the tree construction itself.

C3one line summary

Derivation Prompting constructs logic-based derivation trees in RAG generation to improve interpretability and reduce unacceptable answers compared to standard RAG or long-context methods in a case study.

References

19 extracted · 19 resolved · 3 Pith anchors

[1] In: Advances in Neural Infor- Derivation Prompting: A Logic-Based Method for Improving RAG 11 mation Processing Systems 1901

[2] Retrieval-Augmented Generation for Large Language Models: A Survey 2024 · arXiv:2312.10997

[3] doi: 10.18653/v1/ 2024.findings-acl.586 2023 · doi:10.18653/v1/

[4] Izacard, G., Lewis, P., Lomeli, M., Hosseini, L., Petroni, F., Schick, T., Dwivedi- Yu, J., Joulin, A., Riedel, S., Grave, E.: Atlas: few-shot learning with retrieval augmented language models. J. Mac 2024

[5] Barret Zoph, Irwan Bello, Sameer Kumar, Nan Du, Yanping Huang, Jeff Dean, Noam Shazeer, and William Fedus 2023 · doi:10.1145/3571730

Formal links

2 machine-checked theorem links

Receipt and verification

First computed	2026-05-17T23:39:12.619522Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

15505d7b4b7a01c69b14508fc0e59ddcfab5ee9be30e0b18c385edc08ddc1df9

Aliases

arxiv: 2605.14053 · arxiv_version: 2605.14053v1 · doi: 10.48550/arxiv.2605.14053 · pith_short_12: CVIF262LPIA4 · pith_short_16: CVIF262LPIA4NGYU · pith_short_8: CVIF262L

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/CVIF262LPIA4NGYUKCH4BZM53T \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 15505d7b4b7a01c69b14508fc0e59ddcfab5ee9be30e0b18c385edc08ddc1df9

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "830d9e5aabd0c156f7bc294312973c677ce6a1c42e108457b9f97fd1338d6df2",
    "cross_cats_sorted": [
      "cs.AI"
    ],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "primary_cat": "cs.CL",
    "submitted_at": "2026-05-13T19:20:16Z",
    "title_canon_sha256": "380fa229699beab61715b5ecc4126884cf694256be3ae2cc51f90583541e10c3"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2605.14053",
    "kind": "arxiv",
    "version": 1
  }
}