@misc{indiciae398fb36521ab,
  title = {Teaching Geometric Proof with Tech: Pitfalls and Possibilities},
  author = {Hwei-Shin Harriman and Wode Ni and Yuchen Jin and Dominik Moritz and Joshua Sunshine},
  year = {2026},
  url = {https://arxiv.org/abs/2608.25117},
  note = {Source identifier: 2608.25117}
}