Sutapa Dey Tithi

College of Engineering

Works (1)

Updated: March 5th, 2026 15:23

2025 article

The promise and limits of LLMs in constructing proofs and hints for logic problems in intelligent tutoring systems

Tithi, S. D., Ramesh, A. K., DiMarco, C., Tian, X., Alam, N., Fazeli, K., & Barnes, T. (2025, October 28). Computers and Education Artificial Intelligence.

By: S. Tithi n, A. Ramesh n, C. DiMarco n, X. Tian n, N. Alam  n, K. Fazeli n, T. Barnes n

topics (OpenAlex): Intelligent Tutoring Systems and Adaptive Learning; Mathematics, Computing, and Information Processing; Natural Language Processing Techniques
Source: NC State University Libraries
Added: March 4, 2026

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2026) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.