@misc{indiciae239f620012c3,
  title = {Correct Diagnosis, Better Feedback: A Symbolic-Verifier for Faithful LLM Tutoring Feedback in Logic Proofs},
  author = {Tahreem Yasir and Arnav Mody and Xioayi Tian and Tiffany Barnes},
  year = {2026},
  url = {https://arxiv.org/abs/2609.22553},
  note = {Source identifier: 2609.22553}
}