Clara DiMarco

Tithi, S. D., Ramesh, A. K., DiMarco, C., Tian, X., Alam, N., Fazeli, K., & Barnes, T. (2025, October 28). The promise and limits of LLMs in constructing proofs and hints for logic problems in intelligent tutoring systems. Computers and Education Artificial Intelligence. https://doi.org/10.1016/j.caeai.2025.100490