Wang, H., Unsal, M., Lin, X., Baksys, M., Liu, J., Santos, M. D., . . . Li, J. (2025). Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.
Chicago Style (17th ed.) CitationWang, Haiming, et al. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning. 2025.
MLA (9th ed.) CitationWang, Haiming, et al. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning. 2025.
Warning: These citations may not always be 100% accurate.