collaborators

1 paper

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…