TY  - RPRT
TI  - ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning
AU  - Kranthi Kommuru
AU  - Kunal Khanvilkar
AU  - Gaurav Parekh
PY  - 2026
UR  - https://arxiv.org/abs/2604.06401
ID  - 2604.06401
ER  -