Logical Chain-of-Thought (LogiCoT)
Free while signed in. Answers cite the passages they came from.
A neurosymbolic framework that verifies and revises zero-shot CoT reasoning using symbolic-logic principles.
Symbolic-logic verification: Applies principles from symbolic logic to verify whether each step of a CoT reasoning chain is internally consistent.
Revision loop: When the verifier detects an inconsistency, the model revises the reasoning step before continuing, preventing error propagation.
Zero-shot: Works zero-shot without requiring labeled examples of logical reasoning - the verifier is symbolic rather than learned.
Reasoning gains: Improves CoT reasoning on logical-reasoning benchmarks where vanilla CoT tends to produce fluent but invalid chains.
Get next week’s papers.
The same picks and the same summaries, in your inbox. Free, and 176 issues deep.
Subscribe on Substack