Good math grading is looking at things you can't trivially automate. Process, proofs, etc