TY - RPRT TI - Teaching Geometric Proof with Tech: Pitfalls and Possibilities AU - Hwei-Shin Harriman AU - Wode Ni AU - Yuchen Jin AU - Dominik Moritz AU - Joshua Sunshine PY - 2026 UR - https://arxiv.org/abs/2608.25117 ID - 2608.25117 ER -