Mathforum AI: Mentir AI
An AI-powered math tutoring assistant built on the historic Mathforum problem-thread archive. The project explores RAG (retrieval-augmented generation) and fine-tuning strategies to provide pedagogically sound feedback on student mathematical thinking, in collaboration with Jason Silverman and the Gates Foundation.



