AIKIT
Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants | AIKIT