TY  - RPRT
TI  - The promise and limits of LLMs in constructing proofs and hints for logic problems in intelligent tutoring systems
AU  - Sutapa Dey Tithi
AU  - Arun Kumar Ramesh
AU  - Clara DiMarco
AU  - Xiaoyi Tian
AU  - Nazia Alam
AU  - Kimia Fazeli
AU  - Tiffany Barnes
PY  - 2025
UR  - https://arxiv.org/abs/2505.04736
ID  - 2505.04736
ER  -