When LLMs Help -- and Hurt -- Teaching Assistants in Proof-Based Courses

Romina Mahinpei, Sofiia Druchyna, Manoel Horta Ribeiro

Teaching assistants (TAs) are essential to grading and feedback provision in proof-based courses, yet these tasks are time-intensive and difficult to scale. Although Large Language…