Human-Machine Intelligent Systems Lab

Projects

  • AI in K-12 Math Education Active

    Part of the Gates Foundation-funded MentirAI project, this research builds an AI-powered math tutoring assistant on the historic Mathforum problem-thread archive, exploring RAG (retrieval-augmented generation) and fine-tuning strategies to provide pedagogically sound feedback on student mathematical thinking, in collaboration with Jason Silverman. The work extends into broader investigations of AI applications in educational contexts — including generative AI, classroom integration, and pedagogy — conducted with students across CS394 and the Honors thesis sequence (CS491–CS492). This collaboration began in 2019.

Publications