Assessing GPT Performance in a Proof-Based University-Level Course
arxiv.org