TY  - RPRT
TI  - Learning to Prove Trigonometric Identities
AU  - Zhou Liu
AU  - Yujun Li
AU  - Zhengying Liu
AU  - Lin Li
AU  - Zhenguo Li
PY  - 2022
UR  - https://arxiv.org/abs/2207.06679
ID  - 2207.06679
ER  -