Teaching Spell Checkers to Teach: Pedagogical Program Synthesis for Interactive Learning
🤖 AI Summary
Traditional spelling instruction relies heavily on rote memorization, proving ineffective for children with language learning disorders; existing writing tools offer only error detection and automatic correction, lacking pedagogical support for multidimensional, inquiry-based spelling instruction—spanning phonology, morphology, semantics, and etymology. This work introduces SPIRE, a novel spelling checker that embeds speech-language pathologists’ inquiry-based pedagogy directly into real-time writing. SPIRE transforms spelling errors into opportunities for multidimensional lexical exploration. It employs a pedagogy-driven program synthesis paradigm, leveraging domain-specific language modeling and meta-linguistic reasoning to dynamically generate personalized, interactive instructional programs that drive real-time UI rendering. Co-evaluated by speech-language pathologists and learners, SPIRE demonstrates strong alignment with evidence-based pedagogy, seamless integration into writing workflows, and empirically supported educational efficacy.
Application Category
📝 Abstract
Spelling taught through memorization often fails many learners, particularly children with language-based learning disorders who struggle with the phonological skills necessary to spell words accurately. Educators such as speech-language pathologists (SLPs) address this instructional gap by using an inquiry-based approach to teach spelling that targets the phonology, morphology, meaning, and etymology of words. Yet, these strategies rarely appear in everyday writing tools, which simply detect and autocorrect errors. We introduce SPIRE (Spelling Inquiry Engine), a spell check system that brings this inquiry-based pedagogy into the act of composition. SPIRE implements Pedagogical Program Synthesis, a novel approach for operationalizing the inherently dynamic pedagogy of spelling instruction. SPIRE represents SLP instructional moves in a domain-specific language, synthesizes tailored programs in real-time from learner errors, and renders them as interactive interfaces for inquiry-based interventions. With SPIRE, spelling errors become opportunities to explore word meanings, word structures, morphological families, word origins, and grapheme-phoneme correspondences, supporting metalinguistic reasoning alongside correction. Evaluation with SLPs and learners shows alignment with professional practice and potential for integration into writing workflows.
Problem
Research questions and friction points this paper is trying to address.
Develops an inquiry-based spell check system for learners
Synthesizes personalized instructional programs from spelling errors
Enhances metalinguistic reasoning through interactive word exploration
Innovation
Methods, ideas, or system contributions that make the work stand out.
SPIRE uses Pedagogical Program Synthesis for spelling instruction
It synthesizes tailored programs from errors in real-time
Renders programs as interactive interfaces for inquiry-based learning
🔎 Similar Papers
No similar papers found.
