Academic Nlp Evaluations Standards For Mathematical Practice