What Was Said, Not What Was 'Thought': Type-6 Logic for CoT Verification

arXiv:2609.38420 · cs.LO, cs.AI, cs.CL · Submitted 2026-09-29 · Read on arXiv

cs.LO, cs.AI, cs.CL

Submitted: 2026-09-29

Updated: 2026-09-29

Code: https://github.com/adewynter/type6

Terminology

• Trace — 129× in this paper · explained in 2 episodes
• Verifier — 57× in this paper · explained in 2 episodes
• Verification — 30× in this paper · explained in 2 episodes
• Consistency — 14× in this paper · explained in 3 episodes
• Self-consistency — 8× in this paper · explained in 2 episodes
• Core — 5× in this paper · explained in 2 episodes
• Fidelity — 5× in this paper · explained in 2 episodes
• Hallucination — 5× in this paper · explained in 3 episodes
• LLM-as-a-Judge — 5× in this paper · explained in 3 episodes
• Ablation — 4× in this paper · explained in 1 episode
• Accuracy — 4× in this paper · explained in 1 episode
• Aggregation — 4× in this paper · explained in 1 episode
• Alignment — 4× in this paper · explained in 1 episode
• Benchmark — 4× in this paper · explained in 2 episodes
• Grounding — 4× in this paper · explained in 3 episodes
• Sparsity — 4× in this paper · explained in 4 episodes
• Graph Construction — 3× in this paper · explained in 3 episodes
• Provenance — 3× in this paper · explained in 3 episodes
• Reasoning Traces — 3× in this paper · explained in 3 episodes
• Abstention — 2× in this paper · explained in 1 episode
• Chain-of-Thought (CoT) — 2× in this paper · explained in 4 episodes
• Chain-of-Thought Prompting — 2× in this paper · explained in 2 episodes
• Hallucination Detection — 2× in this paper · explained in 2 episodes
• Ontology — 2× in this paper · explained in 2 episodes
• Pruning — 2× in this paper · explained in 4 episodes
• Ablation Studies — 1× in this paper · explained in 1 episode
• Ablation study — 1× in this paper · explained in 1 episode
• Annotation Errors — 1× in this paper · explained in 1 episode
• Axioms — 1× in this paper · explained in 2 episodes
• Calibration — 1× in this paper · explained in 7 episodes
• Chain-of-Thought (CoT) Prompting — 1× in this paper · explained in 3 episodes
• Explainability — 1× in this paper · explained in 3 episodes
• Failure Modes — 1× in this paper · explained in 3 episodes
• Generalization — 1× in this paper · explained in 13 episodes
• In-Context Learning — 1× in this paper · explained in 4 episodes
• Iterative Refinement — 1× in this paper · explained in 3 episodes
• Large Language Model (LLM) — 1× in this paper · explained in 3 episodes
• Reinforcement Learning — 1× in this paper · explained in 4 episodes
• SMT solver — 1× in this paper · explained in 2 episodes
• Structured Reasoning — 1× in this paper · explained in 3 episodes

Sources

• Measuring Faithfulness in Chain-of-Thought Reasoning
• Solving math word problems with process- and outcome-based feedback
• Qwen3 Technical Report
• Reasoning Models Struggle to Control their Chains of Thought

Related papers

• An Information-Flow Perspective on Explainability Requirements: Specification and Verification
• A programming language combining quantum and classical control
• Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
• Encoder-Decoder Transformers: Logical Characterizations and Periodicity
• Ultraconstructive Model Theory via Bounded Adversarial Finite Structures