Gen AI in Proof-based Math Courses: A Pilot Study. - Hannah Klawa; Shraddha Rajpal; Cigole Thomas (CoRR, 2025)