None defined yet.
h1: A Taste of the Bitter Lesson in Automated Theorem Proving
Efficient RL Training for LLMs with Experience Replay