Hi, I'm an investor from China. Instead of forcing students to use cumbersome computerized inputs for equations, we are seeing multiple approaches to revolutionalize how math homework is being marked in China, including professional scanners in schools, taking photos using apps, writing equations on iPads and using digital pens with special paper. The are multiple hard parts for this process, such as OCR for complex symbols, solving the problem itself using deep learning and theorem provers, and checking if the students work per line is correct. I haven't seen anything like this in the US, other than a few work in automatic solving the SAT exam(geosolver?).