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

Esta investigación introduce un andamio de razonamiento simbólico para abordar las limitaciones sistemáticas de los LLMs en el razonamiento lógico estructurado, como la confusión entre generación y verificación de hipótesis. Operacionaliza la inferencia tripartita de Peirce, aplicando consistencia lógica mediante invariantes algebraicas, destacando el 'Weakest Link bound' para asegurar que ninguna conclusión supere la fiabilidad de su premisa menos apoyada.