When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoring

Tahreem Yasir, Sutapa Dey Tithi, Benyamin Tabarsi, Dmitri Droujkov, Sam Gilson Yasitha Rajapaksha, Xiaoyi Tian, Arun Ramesh, Tiffany Barnes, others
arXiv preprint arXiv:2603.27076, 2026
Back 
@article{yasir2026verification,
  title = {When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoring},
  author = {Yasir, Tahreem and Tithi, Sutapa Dey and Tabarsi, Benyamin and Droujkov, Dmitri and Rajapaksha, Sam Gilson Yasitha and Tian, Xiaoyi and Ramesh, Arun and Barnes, Tiffany and others},
  journal = {arXiv preprint arXiv:2603.27076},
  year = {2026}
}