This is a novel project for mathematical knowledge entity recognition. The algorithm is mainly modeled by BiLSTM+CRF with Chinese Word Embeddings. This project is the first process for Mathematical Knowledge Graph(Math-KG).

高等教育数学课程体系知识图谱

数学知识图谱 是由龙虾QClaw打造的覆盖从小学到大学、研究级别的结构化数学知识体系项目。该项目用于建模数学概念、定理、公式、分支之间的依赖关系，支持个性化学习路径规划和智能辅导。

高等教育数学课程知识图谱项目

UltimateMath - A development framework for generating math problems and solutions using large language models (LLMs). It processes the MATH seed dataset and builds knowledge graphs, allowing developers to easily extend and customize the framework.

Knowledge Graph, Math, and Data Processing

AI che ragiona come un umano — Reasoning Engine con Knowledge Graph, Rule Engine e Math Module

Nexus — AI-powered knowledge management app built with Tauri 2 + React 19 + Rust. Features wiki-links, tags, LaTeX math, semantic search, and a global knowledge graph.

This project focus on high-school level math question answering

math_knowledge_graph_mvp

No description available

No description available

https://antidote66.github.io/math-knowledge-graph/

No description available

math key words knowledge graph

No description available

A structured dataset of high-level mathematics knowledge points and their instructional features

No description available

Educational platform based on math knowledge graph

Dataset of Knowledge Graphs (KGs) created for Math curricula from Knowledge Components (KCs) required in solutions to math problems.

Logical Reasoning Engine and Interactive Knowledge Graph for Proof-Based Math (WIP)

https://antidote66.github.io/math-knowledge-graph/ 汉语分级阅读

Enhancing Physics Problem Solving in LLM Agents with Knowledge Graphs and Symbolic Math Tools

A website that assesses users' knowledge levels of math concepts using Computerized Adaptive Testing (CAT) and directed-acyclic graphs (DAGs)

math-embed: domain-specific embedding model for mathematical paper retrieval, fine-tuned via knowledge-graph contrastive learning (MRR 0.816 vs OpenAI 0.461)

MVP project for classifying student learning styles (visual, verbal, kinesthetic) based on engagement data in a maths classroom. Includes a small knowledge graph and AI-driven resource recommendations.

MathScale 🚀 - A development framework for generating and solving math problems using large language models (LLMs). 📚✏️ It processes the MATH seed dataset, constructs knowledge graphs, and leverages methods inspired by the MathScale paper (Tang et al., 2024). 🧠✨ Built for extensibility and customization by developers. 💻🔧

Prototype for AI-assisted math proof using correlation sheets (weighted knowledge graph), state machine for proof progress, and thicker arrows (stronger correlations) to guide reasoning. Scouting only — open to passive equity/partnership if someone wants to build on it.

Machine Learning Independent Study research project centered around organizing the chain of reasoning a large language model may use with RAG and knowledge graphs, done in the Fall 2024 semeseter at Marist College - School of Computer Science & Math. Advised by Dr. Eitel Lauria.

Taleem AI: A high-fidelity errata database and knowledge graph for Grade 6-8 Math textbooks. Analyzes Algebra and Sets to identify factual, pedagogical, and editorial errors. Features an interactive Vite/React dashboard for Students, Teachers, and Policymakers, providing multi-lingual concept visualization and curriculum audit reports