Skip to content
#

grounded-reasoning

Star

Here are 4 public repositories matching this topic...

Language: All
Filter by language
All 4 Python 3 Lean 1

pheonix-delta / WiredBrain-Hierarchical-Rag

Star 26

Hierarchical RAG architecture scaling to 693K chunks on consumer hardware (4GB VRAM). Features 3-address routing, hybrid vector+graph fusion, and SetFit classification.

python knowledge-graph semantic-search postgress rag vector-search edge-ai network-routing setfit pgvector advanced-rag graphrag rust-optimization agentic-rag grounded-reasoning low-vram hierarchical-rag anti-hallucination vector-databse
  • Updated Feb 9, 2026
  • Python

Jeevan-04 / epistemic-reasoning-core

Star 3

Episteme is a persistent epistemic reasoning system with non-monotonic logic, explicit conflict detection, belief revision, and quantitative belief lifecycle management layered on top of symbolic inference.

formal-methods epistemic-logic cognitive-architecture explainable-ai symbolic-ai logical-reasoning knowledge-representation-and-reasoning rule-based-systems reasoning-engine proof-generation hallucination-mitigation grounded-reasoning paraconsistent-logic
  • Updated Jan 21, 2026
  • Python

contactvaibhavi / provable-optimization

Star 0

A rigorous foundation for provable agentic reasoning. Establishes a trust layer for neurosymbolic AI by formalizing optimization constraints in Lean 4. Replaces empirical approximation with deductive verification, ensuring agentic behaviors adhere to strict safety bounds.

program-synthesis convex-optimization mathlib formal-logic neural-symbolic lean4 certifiable-robustness chain-of-thought neurosymbolic-ai formal-reasoning autoformalization agentic-systems grounded-reasoning theoretical-ml trustworthy-nlp provable-ai trustworthy-ml mechanized-math mechanized-reasoning
  • Updated Jan 31, 2026
  • Lean

Improve this page

Add a description, image, and links to the grounded-reasoning topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the grounded-reasoning topic, visit your repo's landing page and select "manage topics."

Learn more