Interactive whiteboard
-
Teaching Spell Checkers to Teach: Pedagogical Program Synthesis for Interactive Learning
SPIRE transforms spell-checking into interactive learning through pedagogical program synthesis, supporting metalinguistic reasoning for language-based learning disorders.

