Research frontiers of pre-training mathematical models based on BERT | IEEE Conference Publication | IEEE Xplore