TY  - RPRT
TI  - Correct Diagnosis, Better Feedback: A Symbolic-Verifier for Faithful LLM Tutoring Feedback in Logic Proofs
AU  - Tahreem Yasir
AU  - Arnav Mody
AU  - Xioayi Tian
AU  - Tiffany Barnes
PY  - 2026
UR  - https://arxiv.org/abs/2609.22553
ID  - 2609.22553
ER  -