Score the reasoning, not just the answer.
Proof grading is multimodal by nature: handwriting, notation, diagrams, algebraic transformations, definitions, and written reasoning all matter. Evalysis turns that messy evidence into a structured score trace with partial credit.
What counts as proof evidence.
Math proof grading is not a single symbolic check. It needs visual-context reading, theorem use, logical dependency tracking, and principled partial credit when a solution is incomplete.
Real proof-grading situations.
Geometry proof homework
Students submit phone photos of two-column, paragraph, or flow proofs. Evalysis reads the diagram, checks stated givens, and grades each inference against the rubric.
Olympiad and contest training
Final answers matter less than strategy. The workflow identifies useful lemmas, incomplete cases, false assumptions, and where a promising proof breaks.
Calculus and algebra derivations
For derivations, transformations, limits, inequalities, or induction, Evalysis checks step validity and awards partial credit for defensible intermediate work.
High-stakes constructed response
For formal exams, low-confidence handwriting, ambiguous diagrams, or unusual solution paths route to human review with the parsed evidence already prepared.
What teachers and exam programs receive.
Step trace
Each claim, transformation, diagram dependency, and missing justification is visible in the audit trail.
Partial-credit map
Correct reasoning receives credit even when the final proof is incomplete or the answer is wrong.
Misconception report
Class and cohort reports show invalid converses, circular reasoning, algebra slips, and theorem misuse.