1 repository on SrcLog
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