TY  - RPRT
TI  - ProofSketch: Efficient Verified Reasoning for Large Language Models
AU  - Disha Sheshanarayana
AU  - Tanishka Magar
PY  - 2025
UR  - https://arxiv.org/abs/2510.24811
ID  - 2510.24811
ER  -