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

Esta pesquisa apresenta um arcabouço de raciocínio simbólico para resolver as limitações sistemáticas de LLMs no raciocínio lógico estruturado, como a confusão entre geração e verificação de hipóteses. Ele implementa a inferência tripartida de Peirce, garantindo consistência lógica por meio de invariantes algébricos, com o 'Weakest Link bound' impedindo que as conclusões excedam a confiabilidade da premissa mais fraca.