Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
arXiv:2604.15727v1 Announce Type: new
Abstract: Large language models exhibit systematic limitations in structured logical reasoning: they conflate hypothesis generation with verification, cannot distinguish conjecture from validated knowledge, and al…