A four-layer Retrieval-Augmented Generation (RAG) engine in Rust with SMT-based logic verification and knowledge graph support.
-
Updated
Jun 14, 2026 - Rust
A four-layer Retrieval-Augmented Generation (RAG) engine in Rust with SMT-based logic verification and knowledge graph support.
Retrieval-Augmented Generation app — upload PDFs, ask questions, get grounded answers with source citations. No hallucinations.
Add a description, image, and links to the retrie topic page so that developers can more easily learn about it.
To associate your repository with the retrie topic, visit your repo's landing page and select "manage topics."