Interactive whiteboard

  1. 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.