Peng, Z., Yao, Y., Ma, K., Guo, S., Li, Y., Zhang, Y., . . . Zhang, G. (2025). CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization.
Chicago-Zitierstil (17. Ausg.)Peng, Zhongyuan, et al. CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization. 2025.
MLA-Zitierstil (9. Ausg.)Peng, Zhongyuan, et al. CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.