@article{learningtoprovetrigonometricidentities,
  title = {Learning to Prove Trigonometric Identities},
  author = {Zhou Liu and YuJun Li and Zhengying Liu and Lin Li and Zhenguo Li},
  year = {2022},
  eprint = {2207.06679},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2207.06679v1},
}