Submitted by
Skander Moalla
AI & ML interests
None defined yet.
Recent Activity
View all activity
Papers
h1: A Taste of the Bitter Lesson in Automated Theorem Proving
Efficient RL Training for LLMs with Experience Replay
None defined yet.
h1: A Taste of the Bitter Lesson in Automated Theorem Proving
Efficient RL Training for LLMs with Experience Replay