ProofSketch: Efficient Verified Reasoning for Large Language Models.

Wed, 01 Oct 2025 01:00:00 +0200

Disha Sheshanarayana, Tanishka Magar:
ProofSketch: Efficient Verified Reasoning for Large Language Models. CoRR abs/2510.24811 (2025)