Maths: Multimodal Transformer-Based Human-Readable Solver | IEEE Conference Publication | IEEE Xplore