@misc{indiciae0640bfccc522,
  title = {ProofSketch: Efficient Verified Reasoning for Large Language Models},
  author = {Disha Sheshanarayana and Tanishka Magar},
  year = {2025},
  url = {https://arxiv.org/abs/2510.24811},
  note = {Source identifier: 2510.24811}
}