@misc{indiciae79ae46cce50e,
  title = {Learning to Prove Trigonometric Identities},
  author = {Zhou Liu and Yujun Li and Zhengying Liu and Lin Li and Zhenguo Li},
  year = {2022},
  url = {https://arxiv.org/abs/2207.06679},
  note = {Source identifier: 2207.06679}
}