The Promise and Limits of LLMs in Constructing Proofs and Hints for Logic Problems in Intelligent Tutoring Systems. - Sutapa Dey Tithi; Arun Kumar Ramesh; Clara DiMarco; Xiaoyi Tian 001; Nazia Alam; Kimia Fazeli; Tiffany Barnes (CoRR, 2025)