Yihang Xia

Latest

• CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization