ProductiveMath: A Generative-AI-Powered App to Support Productive Failure Teaching. - Seyedahmad Rhaimi; Deniz Ercan; Ran Gao; Salah Esmaeiligoujar; Maryam Babaee; Hongming Li; Shan Zhang 003; Seiyon Lee; Avery Closser; Anthony Botelho (AIED Companion (2), 2025)