Tag: educational technology
Browse our exclusive articles!
Interactive Theorems: Grounding Proofs in Formal Representations
Enhance math comprehension by making theorems explorable with formal representations and interactive step-by-step proofs using Lean programming.
AI-Powered Automatic Formalization of Graduate Textbooks
Discover how AI formalizes complex graduate textbooks efficiently, reducing costs and advancing educational technology with open-source tools.
Motivation and Generative AI Use Among Mexican Students
Explore how motivation influences generative AI use in Mexican high school students and its impact on learning math and writing.
Data-Driven Redesign of Intelligent Tutoring Systems
Explore how data-driven redesign improves engagement and mastery in middle-school math intelligent tutoring systems.
Chinese Handwriting Assessment Using Vision-Language Models
Leverage vision-language models for advanced Chinese handwriting assessment with multi-level feedback to improve learners' writing skills effectively.