Search for a command to run...
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning