Cover Image

Typed Chain-of-Thought: A Curry-Howard Framework for Verifying LLM Reasoning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Perrier, Elija
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Out of Control -- Why Alignment Needs Formal Control Theory (and an Alignment Control Stack)
by: Perrier, Elija
Published: (2025)

Operationalising Extended Cognition: Formal Metrics for Corporate Knowledge and Legal Accountability
by: Perrier, Elija
Published: (2025)

Towards Measurement Theory for Artificial Intelligence
by: Perrier, Elija
Published: (2025)

Statistical Scenario Modelling and Lookalike Distributions for Multi-Variate AI Risk
by: Perrier, Elija
Published: (2025)

Deconstructing Superintelligence: Identity, Self-Modification and Différance
by: Perrier, Elija
Published: (2026)

Hamiltonian Formalism for Comparing Quantum and Classical Intelligence
by: Perrier, Elija
Published: (2025)

K-P Quantum Neural Networks
by: Perrier, Elija
Published: (2025)

Quantum AIXI: Universal Intelligence via Quantum Information
by: Perrier, Elija
Published: (2025)

Threshold Crossings as Tail Events for Catastrophic AI Risk
by: Perrier, Elija
Published: (2025)

Watts-per-Intelligence Part II: Algorithmic Catalysis
by: Perrier, Elija
Published: (2026)

Post-AGI Economies: Autonomy and the First Fundamental Theorem of Welfare Economics
by: Perrier, Elija
Published: (2026)

Time, Identity and Consciousness in Language Model Agents
by: Perrier, Elija, et al.
Published: (2026)

Quantum AGI: Ontological Foundations
by: Perrier, Elija, et al.
Published: (2025)

Position: Stop Acting Like Language Model Agents Are Normal Agents
by: Perrier, Elija, et al.
Published: (2025)

Agent Identity Evals: Measuring Agentic Identity
by: Perrier, Elija, et al.
Published: (2025)

LLM Reasoning Is Latent, Not the Chain of Thought
by: Wang, Wenshuo
Published: (2026)

Evaluating Chain-of-Thought Reasoning through Reusability and Verifiability
by: Aggarwal, Shashank, et al.
Published: (2026)

FinChain: A Symbolic Benchmark for Verifiable Chain-of-Thought Financial Reasoning
by: Xie, Zhuohan, et al.
Published: (2025)

Verifying Chain-of-Thought Reasoning via Its Computational Graph
by: Zhao, Zheng, et al.
Published: (2025)

Reason from Future: Reverse Thought Chain Enhances LLM Reasoning
by: Xu, Yinlong, et al.
Published: (2025)

Reason Like a Radiologist: Chain-of-Thought and Reinforcement Learning for Verifiable Report Generation
by: Jing, Peiyuan, et al.
Published: (2025)

CoRGI: Verified Chain-of-Thought Reasoning with Post-hoc Visual Grounding
by: Yi, Shixin, et al.
Published: (2025)

Scaling Graph Chain-of-Thought Reasoning: A Multi-Agent Framework with Efficient LLM Serving
by: Huan, Chengying, et al.
Published: (2025)

CAP-CoT: Cycle Adversarial Prompt for Improving Chain of Thoughts in LLM Reasoning
by: Chen, Shuxu, et al.
Published: (2026)

Framework of Thoughts: A Foundation Framework for Dynamic and Optimized Reasoning based on Chains, Trees, and Graphs
by: Fricke, Felix, et al.
Published: (2026)

Tracing Thought: Using Chain-of-Thought Reasoning to Identify the LLM Behind AI-Generated Text
by: Agrahari, Shifali, et al.
Published: (2025)

Loong: Synthesize Long Chain-of-Thoughts at Scale through Verifiers
by: Huang, Xingyue, et al.
Published: (2025)

Upfront Chain-of-Thought: A Cooperative Framework for Chain-of-Thought Compression
by: Li, Chengzhengxu, et al.
Published: (2025)

Generating Verifiable Chain of Thoughts from Exection-Traces
by: Thakur, Shailja, et al.
Published: (2025)

EgoCoT-Bench: Benchmarking Grounded and Verifiable Operation-Centric Chain of Thought Reasoning for MLLMs
by: Dai, Yang, et al.
Published: (2026)

Watts-Per-Intelligence: Part I (Energy Efficiency)
by: Perrier, Elija
Published: (2025)

Quantum Geometric Machine Learning
by: Perrier, Elija
Published: (2024)

Are Reasoning LLMs Robust to Interventions on Their Chain-of-Thought?
by: von Recum, Alexander, et al.
Published: (2026)

Diagnosing Pathological Chain-of-Thought in Reasoning Models
by: Liu, Manqing, et al.
Published: (2026)

Reasoning Models Struggle to Control their Chains of Thought
by: Yueh-Han, Chen, et al.
Published: (2026)

Deconstructing Long Chain-of-Thought: A Structured Reasoning Optimization Framework for Long CoT Distillation
by: Luo, Yijia, et al.
Published: (2025)

Focused Chain-of-Thought: Efficient LLM Reasoning via Structured Input Information
by: Struppek, Lukas, et al.
Published: (2025)

Latent Chain-of-Thought for Visual Reasoning
by: Sun, Guohao, et al.
Published: (2025)

Fractured Chain-of-Thought Reasoning
by: Liao, Baohao, et al.
Published: (2025)

Streaming Hallucination Detection in Long Chain-of-Thought Reasoning
by: Lu, Haolang, et al.
Published: (2026)