Zhou, Y., Zhao, J., Zhang, Y., Wang, B., Wang, S., Chen, L., . . . Li, H. (2025). Solving Formal Math Problems by Decomposition and Iterative Reflection.
Citazione stile Chigago Style (17a edizione)Zhou, Yichi, et al. Solving Formal Math Problems by Decomposition and Iterative Reflection. 2025.
Citatione MLA (9a ed.)Zhou, Yichi, et al. Solving Formal Math Problems by Decomposition and Iterative Reflection. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.