@misc{indiciae10403f1222c7,
  title = {The promise and limits of LLMs in constructing proofs and hints for logic problems in intelligent tutoring systems},
  author = {Sutapa Dey Tithi and Arun Kumar Ramesh and Clara DiMarco and Xiaoyi Tian and Nazia Alam and Kimia Fazeli and Tiffany Barnes},
  year = {2025},
  url = {https://arxiv.org/abs/2505.04736},
  note = {Source identifier: 2505.04736}
}