Reasoning

Logical Chain-of-Thought (LogiCoT)

First page

Paper summary

A neurosymbolic framework that verifies and revises zero-shot CoT reasoning using symbolic-logic principles.

Ask this paper

Key points

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.

Every Monday