P. Fitri, Y. Hartono, and M. Meryansumayeka, “Learning proof of trigonometric identities with ChatGPT”, J. Honai Math, vol. 8, no. 1, pp. 43–56, Apr. 2025.