Kamoi, R., Zhang, Y., Zhang, N., Das, S. S. S., Zhang, R. H., Yin, W., & Zhang, R. (2025). Efficient PRM Training Data Synthesis via Formal Verification.
Style de citation Chicago (17e éd.)Kamoi, Ryo, Yusen Zhang, Nan Zhang, Sarkar Snigdha Sarathi Das, Ranran Haoran Zhang, Wenpeng Yin, et Rui Zhang. Efficient PRM Training Data Synthesis via Formal Verification. 2025.
Style de citation MLA (9e éd.)Kamoi, Ryo, et al. Efficient PRM Training Data Synthesis via Formal Verification. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.