ProCoT: Stimulating Critical Thinking and Writing of Students through Engagement with Large Language Models (LLMs).