Liu, C., Yuan, Y., Yin, Y., Xu, Y., Xu, X., Chen, Z., . . . Zhang, M. (2025). Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification.
Chicago Style (17th ed.) CitationLiu, Chengwu, et al. Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification. 2025.
MLA (9th ed.) CitationLiu, Chengwu, et al. Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification. 2025.
Warning: These citations may not always be 100% accurate.