@misc{indiciae0d95b7710362,
  title = {Gen AI in Proof-based Math Courses: A Pilot Study},
  author = {Hannah Klawa and Shraddha Rajpal and Cigole Thomas},
  year = {2026},
  url = {https://arxiv.org/abs/2509.13570},
  note = {Source identifier: 2509.13570}
}