Automated Conjecturing and Theorem Finding: A Survey. - Jian Zhang; Si-Cheng Tan (J. Comput. Sci. Technol., 2026)