math-verification

Here are 3 public repositories matching this topic...

ZelinZhou-THU / stem-tutor-agent

Your math is wrong. Here's exactly where and why! 🔬 AI agent that verifies every step of a student solution, pinpoints the root cause of errors with SymPy symbolic math, and generates 🎯 targeted practice. Covers 📚 8 STEM subjects. Built with LangGraph multi-strategy workflow + FastAPI web UI⚡

Updated Jun 30, 2026
Python

astrio-labs / forall-putnambench

Star

Forall-Lean-Agent evaluation metadata, environment pins, and reproducible resource analysis for PutnamBench.

forall lean4 putnam math-verification putnam-competition

Updated Sep 15, 2026
Python

pulkitpareek18 / mvm2

Sponsor

Star

Multi-LLM Math Verification System — Solves math using 5 AI models simultaneously, cross-checks step-by-step reasoning with SymPy symbolic verification, multi-agent debate, and LaTeX PDF reports

python docker latex ai math consensus verification multi-agent multi-model pdf-report sympy fastapi groq neuro-symbolic streamlit llm nvidia-nim math-verification

Updated Mar 28, 2026
Python

Add this topic to your repo

To associate your repository with the math-verification topic, visit your repo's landing page and select "manage topics."

Learn more