Optimization Party

AI & ML interests

None defined yet.

Recent Activity

research4pan  published a model 1 day ago

OptimParty/outputs_muon_gum_7B_0.001_2B_tokens_L8_r256

research4pan  updated a model 21 days ago

OptimParty/outputs_muon_gum_7B_0.001_2B_tokens_L8_r256

research4pan  authored a paper 3 months ago

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

View all activity

Team members 2