ProofSketch: Efficient Verified Reasoning for Large Language Models
📝 Original Info
- Title: ProofSketch: Efficient Verified Reasoning for Large Language Models
- ArXiv ID: 2510.24811
- Date: 2025-10-28
- Authors: 저자 정보가 제공되지 않았습니다. 논문에 명시된 저자명을 확인 후 추가해 주세요.
📝 Abstract
None💡 Deep Analysis
📄 Full Content
Reference
This content is AI-processed based on open access ArXiv data.