Project
Math Mentor AI
An LLM and SymPy-based math-reasoning pipeline that independently verifies generated answers before presenting them to users.
Problem
LLM-generated math answers can look convincing while containing subtle reasoning errors.
Approach
The pipeline separates answer generation from verification by using structured outputs and SymPy checks before presenting final explanations.
Results
The architecture provides a clearer path for catching incorrect generated answers and improving trust in math assistance.
Limitations
Symbolic verification coverage depends on problem type and how well the model expresses intermediate steps.
Future Improvements
Expand supported math domains and add confidence reporting for verification outcomes.