Volume: Vol-4164 ProfIT AI 2025 | Year: 2025

Paper: | paper25 |


Operationalizing the Formalizability of Mathematics Problems for Intelligent Tutoring Systems: Taxonomy, Measurement Protocol, and Educational Impact

379-388 PDF