Restriction: Must be in the Computer Science Master's or Doctoral progra

This seminar course studies the connection between AI (in p articular LLMs) and mathematics. The first part focuses on how LLMs are trained for math and reasoning, including data, pre/mid-training, RL andinference time methods. The second part focuses on how LLMs can help t ackle open mathematical problems (with a special focus on TCS/optimization/combinatorial problems), we will cover both informal and formal approaches (e.g. LEAN).