logic-derivation

Derivation Prompting introduces a logic-inspired prompting method for Retrieval-Augmented Generation that constructs interpretable derivation trees, improving reasoning and reducing hallucinations in knowledge-intensive QA tasks.