Professor Tengyu Ma (Stanford): Self-play Algorithms for Math Theorem Proving
Speaker: Professor Tengyu Ma (Stanford) Title: Self-play Algorithms for Math Theorem Proving Video: Click here to view Abstract: I will discuss RL algorithms for automated theorem proving with LLMs, especially […]
