TY  - RPRT
TI  - Typed Chain-of-Thought: A Curry-Howard Framework for Verifying LLM Reasoning
AU  - Elija Perrier
PY  - 2025
UR  - https://arxiv.org/abs/2510.01069
ID  - 2510.01069
ER  -