Search for a command to run...
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization