Name: DeepSeek-Prover-V2: Formal Math Reasoning via RL for Subgoal Decomposition
Start: 2025-12-02T19:00:00+01:00
End: 2025-12-02T21:00:00+01:00

Advanced Machine Learning Study Group (Virtual)

Technology

Artificial Intelligence

Statistical Computing

Machine Learning

Data Analytics

Mathematics

Predictive Analytics

Machine Intelligence

Learning

Data Science

Study Group

Applied Statistics

Education & Technology

Deep Learning

Every week on Tuesday until August 13, 2030

DeepSeek-Prover-V2: Formal Math Reasoning via RL for Subgoal Decomposition

This content is available only to members

Find Meetup events so you can do more of what matters to you. Or create your own group and meet people near you who share your interests.

Share

Advanced Machine Learning Study Group (Virtual)

DeepSeek-Prover-V2: Formal Math Reasoning via RL for Subgoal Decomposition

Advanced Machine Learning Study Group (Virtual)

Details

Members are also interested in