mlsanityData to 7 Oct 2026

Educational agents and math problem solving

233 papers2 this weekLow confidence in this grouping: the papers may belong to more than one topic, or the group may changeLow confidence in this grouping: the papers may belong to more than one topic, or the group may change · About

Keywords: educational, student, proof, mathematical, education

Key facts. Educational agents and math problem solving: 233 papers on arXiv since 2023 (data through 7 Oct 2026). 20 of its 233 mapped papers (9%) cite “Simulating Classroom Education with LLM-Empowered Agents” (2024, arXiv 2406.19226). 13 of its 233 mapped papers (6%) cite “An In-Context Learning Agent for Formal Theorem-Proving” (2023, arXiv 2310.04353). 9 new papers 17 Sep–7 Oct.

What’s new

17 Sep – 7 Oct 2026

9 new papers, 17 Sep – 7 Oct; 2 this week.

  1. This week · 2
  2. Stochastic Teacher Intervention for Agentic On-Policy Distillation also fits: Reinforcement learning for LLM agents
  3. When Algorithmic Exploration Becomes Cheap: A Case Study of Agentic Research in EDA
  4. Earlier · 7
  5. AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness
  6. NeutronGym: Physics-Graded Neutron Instrument Design for LLM Agents also fits: Software engineering coding agents
  7. An Educator-Guided LLM Pedagogical Agent for Scaffolded Feedback in Conceptual Database Design
  8. Cogentic: Multi-Agent Orchestration for Automated Proof Discovery also fits: Web, search, and research agents
  9. DeepEdu-v1: Efficient and Scalable Agentic LLMs for Vietnamese Education
  10. CoLearn: An Agentic Tutor that Learns its Learner in a Human--AI Co-Learning Loop also fits: Agent memory systems
  11. DataCanvas-EDU: An Agentic Framework for Instructor-Guided Synthetic Data Generation in Business Analytics Education

Foundations

Most cited by papers here

  1. Simulating Classroom Education with LLM-Empowered Agents2024cited by 20 here
  2. An In-Context Learning Agent for Formal Theorem-Proving2023cited by 13 here
  3. EduAgent: Generative Student Agents in Learning2024cited by 13 here
  4. Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs2025cited by 9 here
  5. CGMI: Configurable General Multi-Agent Interaction Framework2023cited by 8 here

Lineage

The papers this direction builds on, oldest first.

Each paper on the line cites the one before.

  1. 2023Generative Agents: Interactive Simulacra of Human Behaviorcited by 34 here
  2. 2023MetaGPT: Meta Programming for A Multi-Agent Collaborative Frameworkcited by 14 here
  3. 2023AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversationcited by 13 here
  4. 2023A Survey on Large Language Model based Autonomous Agentscited by 17 here
  5. 2023The Rise and Potential of Large Language Model Based Agents: A Surveycited by 9 here
  6. 2024SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineeringcited by 7 here
  7. 2025Agent Laboratory: Using LLM Agents as Research Assistantscited by 7 here
  8. 2025The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Searchcited by 8 here
16 more it builds on, not in this chain
  1. 2023Toolformer: Language Models Can Teach Themselves to Use Toolscited by 11 here
  2. 2023Reflexion: Language Agents with Verbal Reinforcement Learningcited by 8 here
  3. 2023CAMEL: Communicative Agents for "Mind" Exploration of Large Language Model Societycited by 11 here
  4. 2023Encouraging Divergent Thinking in Large Language Models through Multi-Agent Debatecited by 9 here
  5. 2023ChatDev: Communicative Agents for Software Developmentcited by 8 here
  6. 2023AgentVerse: Facilitating Multi-Agent Collaboration and Exploring Emergent Behaviorscited by 6 here
  7. 2023CGMI: Configurable General Multi-Agent Interaction Frameworkcited by 8 here
  8. 2023Teach AI How to Code: Using Large Language Models as Teachable Agents for Programming Educationcited by 8 here
  9. 2023An In-Context Learning Agent for Formal Theorem-Provingcited by 13 here
  10. 2024Large Language Model based Multi-Agents: A Survey of Progress and Challengescited by 8 here
  11. 2024EduAgent: Generative Student Agents in Learningcited by 13 here
  12. 2024Simulating Classroom Education with LLM-Empowered Agentscited by 20 here
  13. 2024From MOOC to MAIC: Reshaping Online Teaching and Learning through LLM-driven Agentscited by 6 here
  14. 2025LLM-powered Multi-agent Framework for Goal-oriented Learning in Intelligent Tutoring Systemcited by 8 here
  15. 2025Prover Agent: An Agent-Based Framework for Formal Mathematical Proofscited by 9 here
  16. 2026Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematicscited by 8 here

The 24 most cited of 424.

Browse

30 of 233, ranked 6–35

  1. 6Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics20268
  2. 7LLM-powered Multi-agent Framework for Goal-oriented Learning in Intelligent Tutoring System20258
  3. 8Teach AI How to Code: Using Large Language Models as Teachable Agents for Programming Education20238
  4. 9Classroom Simulacra: Building Contextual Student Generative Agents in Online Education for Learning Behavioral Simulation20256
  5. 10EducationQ: Evaluating LLMs' Teaching Capabilities Through Multi-Agent Dialogue Framework20256
  6. 11From MOOC to MAIC: Reshaping Online Teaching and Learning through LLM-driven Agents20246
  7. 12Agent4Edu: Generating Learner Response Data by Generative Agents for Intelligent Education Systems20255
  8. 13Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics20255
  9. 14TeachTune: Reviewing Pedagogical Agents Against Diverse Student Profiles with Simulated Students20245
  10. 15Using Generative AI and Multi-Agents to Provide Automatic Feedback20245
All 30
  1. 16AI co-mathematician: Accelerating mathematicians with agentic AI20264
  2. 17EduPlanner: LLM-Based Multi-Agent Systems for Customized and Intelligent Instructional Design20254
  3. 18Evolution of AI in Education: Agentic Workflows20254
  4. 19Generating AI Literacy MCQs: A Multi-Agent LLM Approach20244
  5. 20ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving20234
  6. 21A Minimal Agent for Automated Theorem Proving20263
  7. 22RMA: an Agentic System for Research-Level Mathematical Problems20263
  8. 23One Size doesn't Fit All: A Personalized Conversational Tutoring Agent for Mathematics Instruction20253
  9. 24LLM Agents for Education: Advances and Applications20253
  10. 25Personalizing Student-Agent Interactions Using Log-Contextualized Retrieval-Augmented Generation (RAG)20253
  11. 26A Theory of Adaptive Scaffolding for LLM-Based Pedagogical Agents20253
  12. 27PeerGPT: Probing the Roles of LLM-based Peer Agents as Team Moderators and Participants in Children's Collaborative Learning20243
  13. 28MathChat: Converse to Tackle Challenging Math Problems with LLM Agents20233
  14. 29Evidence-Decision-Feedback: Theory-Driven Adaptive Scaffolding for LLM Agents20262
  15. 30The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning20262
  16. 31OProver: A Unified Framework for Agentic Formal Theorem Proving20262
  17. 32MechMath Agent Team: LLM Driven Agents for Mathematical Research20262
  18. 33ProofCouncil: An LLM Agent for Solving Open Mathematical Problems20262
  19. 34Training Turn-by-Turn Verifiers for Dialogue Tutoring Agents: The Curious Case of LLMs as Your Coding Tutors20252
  20. 35From Correctness to Comprehension: AI Agents for Personalized Error Diagnosis in Education20252