TY  - RPRT
TI  - Teaching Spell Checkers to Teach: Pedagogical Program Synthesis for Interactive Learning
AU  - Momin N. Siddiqui
AU  - Vincent Cavez
AU  - Sahana Rangasrinivasan
AU  - Abbie Olszewski
AU  - Srirangaraj Setlur
AU  - Maneesh Agrawala
AU  - Hari Subramonyam
PY  - 2026
UR  - https://arxiv.org/abs/2512.12115
ID  - 2512.12115
ER  -