A self-distilling neuro-symbolic cascade that amortises LLM cost across knowledge-graph QA and regulatory-compliance checking, with auditable Datalog proof trees.
datalog knowledge-graph compliance proof-trees kgqa neuro-symbolic llm auditable-ai llm-cascade rule-distillation cost-amortization
-
Updated
Jun 18, 2026 - Python