@misc{indiciae78c9c4496e67,
  title = {Typed Chain-of-Thought: A Curry-Howard Framework for Verifying LLM Reasoning},
  author = {Elija Perrier},
  year = {2025},
  url = {https://arxiv.org/abs/2510.01069},
  note = {Source identifier: 2510.01069}
}