2 papers
cs.AI2026
When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoring
Tahreem Yasir, Sutapa Dey Tithi, Benyamin Tabarsi +7
Large language models (LLMs) are increasingly used for automated tutoring, but their reliability in structured symbolic domains remains unclear. We study step-level feedback for pr…
cs.AI2025
The promise and limits of LLMs in constructing proofs and hints for logic problems in intelligent tutoring systems
Sutapa Dey Tithi, Arun Kumar Ramesh, Clara DiMarco +4
Intelligent tutoring systems have demonstrated effectiveness in teaching formal propositional logic proofs, but their reliance on template-based explanations limits their ability t…