TY  - RPRT
TI  - When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoring
AU  - Tahreem Yasir
AU  - Sutapa Dey Tithi
AU  - Benyamin Tabarsi
AU  - Dmitri Droujkov
AU  - Sam Gilson Yasitha Rajapaksha
AU  - Xiaoyi Tian
AU  - Arun Ramesh
AU  - DongKuan
AU  - Xu
AU  - Tiffany Barnes
PY  - 2026
UR  - https://arxiv.org/abs/2603.27076
ID  - 2603.27076
ER  -