@misc{indiciaef4b4aed18cc4,
  title = {When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoring},
  author = {Tahreem Yasir and Sutapa Dey Tithi and Benyamin Tabarsi and Dmitri Droujkov and Sam Gilson Yasitha Rajapaksha and Xiaoyi Tian and Arun Ramesh and DongKuan and Xu and Tiffany Barnes},
  year = {2026},
  url = {https://arxiv.org/abs/2603.27076},
  note = {Source identifier: 2603.27076}
}