1 paper
Tahreem Yasir, Arnav Mody, Xioayi Tian +1
Effective LLM tutoring depends on correctly identifying the specific error in a student's reasoning before generating feedback. We study this problem in propositional-logic proof t…